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

213 Commits
1 Branch
0 Tags

README

Created on

November 28, 2018

Copy SSH clone URLgit@gl.mathhub.info:Isabelle/export-paper.git
Copy HTTPS clone URLhttps://gl.mathhub.info/Isabelle/export-paper.git

Loading