The following pages link to (Q4413894):
Displaying 8 items.
- MPTP-motivation, implementation, first experiments (Q556682) (← links)
- Formalization and implementation of modern SAT solvers (Q839035) (← links)
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- MPTP 0.2: Design, implementation, and initial experiments (Q877826) (← links)
- Supra-logic: using transfinite type theory with type variables for paraconsistency (Q3647220) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- A User-friendly Interface for a Lightweight Verification System (Q5170234) (← links)
- Proof Auditing Formalised Mathematics (Q5195266) (← links)