Email Gateway (Aug 22 2022 at 19:58): Email Gateway (Aug 22 2022 at 19:58):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
as follow-up to the Isabelle2019 release there is now the first public
appearance of Isabelle/Naproche, see also
https://sketis.net/2019/isabelle-naproche-for-automatic-proof-checking-of-ordinary-mathematical-texts
Download: https://isabelle.sketis.net/Isabelle_Naproche_CICM2019
Screenshot:
https://sketis.net/wp-content/uploads/2019/06/Isabelle_Naproche-CICM2019.png
(Technical side-remark: such derived Isabelle distributions may be
created via Isabelle2019/Admin/build_release with option -c for add-on
components -- using a repository clone of Isabelle, instead of a regular
release.)
Makarius
Last updated: Nov 21 2024 at 12:39 UTC