Skip to content
Snippets Groups Projects
Select Git revision
  • jakob-main
  • master default
2 results
Blame Permalink
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
README.md 105 B

GAP -> MMT exporter

Output browsable at: https://odk.mathhub.info/mh/mmt/?http://www.gap-system.org