Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Request for TTP and PTT Interfaces

Email Gateway (Feb 20 2021 at 17:13):

From: "Jens-D. Doll" <jens.doll@live.de>
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,
Jens

Email Gateway (Feb 23 2021 at 12:58):

From: Makarius <makarius@sketis.net>
Have you had a look at Isabelle2021, with its new example entry "Documentation
/ Examples / $ISABELLE_NAPROCHE/Intro.thy" ?

Makarius

Last updated: Jan 04 2025 at 20:18 UTC