Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Request for TTP and PTT Interfaces

view this post on Zulip Email Gateway (Feb 20 2021 at 17:13):

From: "Jens-D. Doll" <>
Hello everyone,
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.]
Happy reasoning,

view this post on Zulip Email Gateway (Feb 23 2021 at 12:58):

From: Makarius <>
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