Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] MMT as component for Isabelle2019

view this post on Zulip Email Gateway (Aug 22 2022 at 19:58):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

as another follow-up to the Isabelle2019 release, there is now a release
of MMT 17.0.0 as Isabelle application or component. See the blog entry
https://sketis.net/2019/mmt-as-component-for-isabelle2019 --- it
includes pointers to current papers about Isabelle/MMT at the bottom.

Makarius

Last updated: Nov 21 2024 at 12:39 UTC