Makarius
2018-11-16 12:25:11 UTC
Dear Isabelle users,
here is a recent blog entry about a exporting formal content from
Isabelle + AFP and importing it into MMT (as OMDoc files):
https://sketis.net/2018/isabelle-mmt-export-of-isabelle-theories-and-import-as-omdoc-content
Makarius
here is a recent blog entry about a exporting formal content from
Isabelle + AFP and importing it into MMT (as OMDoc files):
https://sketis.net/2018/isabelle-mmt-export-of-isabelle-theories-and-import-as-omdoc-content
Makarius