ForTheL
From MaRDI portal
Cited in
(16)- Interpreting mathematical texts in Naproche-SAD
- Evidence algorithm and inference search in first-order logics
- scientific article; zbMATH DE number 2079533 (Why is no real title available?)
- Beautiful formalizations in Isabelle/Naproche
- A fully automatic theorem prover with human-style output
- Mathematical Knowledge Management
- System for Automated Deduction (SAD): A Tool for Proof Verification
- SAD
- Naproche
- Naproche-SAD
- Evidence algorithm and SAD systems: past and possible future
- Glushkov's evidence algorithm
- On Correctness of Mathematical Texts from a Logical and Practical Point of View
- 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
