a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group

Name
Last commit
Last update
fr-macros Loading commit data...
README.md Loading commit data...
conc.tex Loading commit data...
intro.tex Loading commit data...
local.sty Loading commit data...
paper.pdf Loading commit data...
paper.tex Loading commit data...