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" <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

view this post on Zulip 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: Mar 29 2024 at 12:28 UTC