YAS directory languages/MML/atom-to-ref
GitHub
https://github.com/softlang/yas/tree/master/languages/MML/atom-to-ref
Properties
None
Components
- languages/MML/atom-to-ref/coupling.pro (Logic program)
- languages/MML/atom-to-ref/mmt.pro (Logic program)
- languages/MML/atom-to-ref/mt.pro (Logic program)
- languages/MML/atom-to-ref/.ueber (Megamodel)