swMATH9797MaRDI QIDQ21776FDOQ21776
Author name not available (Why is that?)
Official website: http://nevidal.org/download/forthel.pdf
Cited In (16)
- Interpreting mathematical texts in Naproche-SAD
- Title not available (Why is that?)
- Evidence algorithm and inference search in first-order logics
- Mathematical Knowledge Management
- Beautiful formalizations in Isabelle/Naproche
- A fully automatic theorem prover with human-style output
- System for Automated Deduction (SAD): A Tool for Proof Verification
- Evidence algorithm and SAD systems: past and possible future
- Glushkov's evidence algorithm
- SAD
- On Correctness of Mathematical Texts from a Logical and Practical Point of View
- Naproche
- Naproche-SAD
- The Isabelle/Naproche natural language proof assistant
- SAD as a mathematical assistant -- how should we go from here to there?
- Furstenberg topology
This page was built for software: ForTheL
