The following pages link to ForTheL (Q21776):
Displayed 12 items.
- Evidence algorithm and inference search in first-order logics (Q286802) (← links)
- Glushkov's evidence algorithm (Q466397) (← links)
- SAD as a mathematical assistant -- how should we go from here to there? (Q865654) (← links)
- Evidence algorithm and sad systems: past and possible future (Q2043962) (← links)
- The Isabelle/Naproche natural language proof assistant (Q2055899) (← links)
- Beautiful formalizations in Isabelle/Naproche (Q2128789) (← links)
- Interpreting mathematical texts in Naproche-SAD (Q2219411) (← links)
- A fully automatic theorem prover with human-style output (Q2362206) (← links)
- System for Automated Deduction (SAD): A Tool for Proof Verification (Q3608785) (← links)
- (Q4471536) (← links)
- Mathematical Knowledge Management (Q5313060) (← links)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538) (← links)