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...
.gitignore Loading commit data...
README.md Loading commit data...
cc-by.pdf Loading commit data...
conc.tex Loading commit data...
export.tex Loading commit data...
intro.tex Loading commit data...
isabelle.tex Loading commit data...
lipics-logo-bw.pdf Loading commit data...
lipics-v2019.cls Loading commit data...
local.sty Loading commit data...
mmt.tex Loading commit data...
omdoc.tex Loading commit data...
paper.bib Loading commit data...
paper.pdf Loading commit data...
paper.tex Loading commit data...
pide.tex Loading commit data...