ForTheL
From MaRDI portal
Cited in
(16)- Evidence algorithm and SAD systems: past and possible future
- The Isabelle/Naproche natural language proof assistant
- Beautiful formalizations in Isabelle/Naproche
- SAD
- Interpreting mathematical texts in Naproche-SAD
- A fully automatic theorem prover with human-style output
- Evidence algorithm and inference search in first-order logics
- System for Automated Deduction (SAD): A Tool for Proof Verification
- Naproche
- scientific article; zbMATH DE number 2079533 (Why is no real title available?)
- Glushkov's evidence algorithm
- Mathematical Knowledge Management
- Naproche-SAD
- On Correctness of Mathematical Texts from a Logical and Practical Point of View
- Furstenberg topology
- SAD as a mathematical assistant -- how should we go from here to there?
This page was built for software: ForTheL
