An early experient in flexiformalization for the ODK project.
This math archive is obsolete
all material has moved to http://gl.mathhub.info/MitM/
Michael Kohlhase
authored
| Name | Last commit | Last update |
|---|---|---|
| META-INF | ||
| content/http..www.opendreamkit.org | ||
| help | ||
| lib | ||
| narration/mmt | ||
| source/mmt | ||
| .gitignore | ||
| README.md | ||
| build.msl | ||
| serve.msl |