Naproche
From MaRDI portal
Software:40021
No author found.
Related Items (11)
A fully automatic theorem prover with human-style output ⋮ Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues ⋮ Part-of-math tagging and applications ⋮ Beautiful formalizations in Isabelle/Naproche ⋮ Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution ⋮ Interpreting mathematical texts in Naproche-SAD ⋮ Premise Selection in the Naproche System ⋮ Translating between Language and Logic: What Is Easy and What Is Difficult ⋮ The Isabelle/Naproche natural language proof assistant ⋮ Hammering towards QED
This page was built for software: Naproche
