E

export-paper

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