The following pages link to Naproche (Q40021):
Displaying 11 items.
- The Isabelle/Naproche natural language proof assistant (Q2055899) (← links)
- Beautiful formalizations in Isabelle/Naproche (Q2128789) (← links)
- Interpreting mathematical texts in Naproche-SAD (Q2219411) (← links)
- A fully automatic theorem prover with human-style output (Q2362206) (← links)
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues (Q2364670) (← links)
- Part-of-math tagging and applications (Q2364695) (← links)
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
- Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution (Q2964002) (← links)
- Hammering towards QED (Q5195271) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)
- Premise Selection in the Naproche System (Q5747782) (← links)