Skip to content

GitLab

Explore

Sign in

E

export-paper

Project information

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

214 Commits
1 Branch
0 Tags

README
Creative Commons Attribution Share Alike 4.0 International

Created on

November 28, 2018

Loading