From: "Jens-D. Doll" <email@example.com>
what also could be useful for my current project are human language
interfaces, which transform proofs into readable text and vice versa. Is
that already possible for Isabelle or even done?
[I do not dare to ask for natural language interfaces, I only mean texts
in a controlled language.]
From: Makarius <firstname.lastname@example.org>
Have you had a look at Isabelle2021, with its new example entry "Documentation
/ Examples / $ISABELLE_NAPROCHE/Intro.thy" ?
Last updated: Sep 28 2021 at 18:21 UTC