Cited in
(20)- Interpreting mathematical texts in Naproche-SAD
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
- Beautiful formalizations in Isabelle/Naproche
- A fully automatic theorem prover with human-style output
- Type reconstruction for \(\lambda\)-DRT applied to pronoun resolution
- Part-of-math tagging and applications
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
- GF
- ForTheL
- SAD
- Tweety
- FraCaS
- Regular_Algebras
- INFTY
- Naproche-SAD
- Premise selection in the Naproche system
- The Isabelle/Naproche natural language proof assistant
- Translating between language and logic: what is easy and what is difficult
- Hammering towards QED
- Furstenberg topology
This page was built for software: Naproche
