Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-RC4: bundling of Naproche-SAD

Email Gateway (Feb 01 2021 at 14:51):

From: Makarius <makarius@sketis.net>
Isabelle2021-RC3 already had the subsequent NEWS item, but in Isabelle2021-RC4
the bundled component is actually present:

• IDE support for Naproche-SAD: Proof Checking of Natural Mathematical
  Documents. See also $NAPROCHE_HOME/examples for files with .ftl or
  .ftl.tex extension.

The Documentation panel has an entry referring to $ISABELLE_NAPROCHE/Ex.thy
with some further explanations and links to example files and directories.

(These texts are subject to further refinement, as well as the implementation
/ integration of Naproche-SAD.)

Makarius

Last updated: Jan 04 2025 at 20:18 UTC