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: Jul 15 2022 at 23:21 UTC