ForTheL
From MaRDI portal
Software:21776
swMATH9797MaRDI QIDQ21776FDOQ21776
Author name not available (Why is that?)
Cited In (12)
- 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
- 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?
This page was built for software: ForTheL
