Cited in
(18)- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- Evidence algorithm and inference search in first-order logics
- Beautiful formalizations in Isabelle/Naproche
- Mathematical Knowledge Management
- A tactic language for declarative proofs
- N. G. de Bruijn's contribution to the formalization of mathematics
- Evidence algorithm and system for automated deduction: a retrospective view. (In honor of 40 years of the EA announcement)
- ForTheL
- SMTtoTPTP
- FOOL
- Naproche
- Glushkov's evidence algorithm
- Premise selection in the Naproche system
- On Correctness of Mathematical Texts from a Logical and Practical Point of View
- Proof assistants: history, ideas and future
- Checking proofs
- Parsing and disambiguation of symbolic mathematics in the Naproche system
- Furstenberg topology
This page was built for software: SAD
