Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle/MMT: export of Isabelle theories and ...

Email Gateway (Aug 22 2022 at 18:45):

From: Makarius <makarius@sketis.net>
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

Last updated: Feb 01 2025 at 20:19 UTC