Re: [isabelle] Request for TTP and PTT Interfaces



On 20/02/2021 18:13, Jens-D. Doll wrote:
> 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.]

Have you had a look at Isabelle2021, with its new example entry "Documentation
/ Examples / $ISABELLE_NAPROCHE/Intro.thy" ?


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.