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
Ex Loading commit data...
fr-macros Loading commit data...
.gitignore Loading commit data...
HOL-disj.png Loading commit data...
README.md Loading commit data...
SG-locale.png Loading commit data...
applications.tex 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...
logical.tex 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...
tikzlibrarymmt.code.tex Loading commit data...
unused.tex Loading commit data...