- Referenced in 1818 articles
- Coq is a formal proof management system. It...
- Referenced in 2948 articles
- GAP is a system for computational discrete algebra...
- Referenced in 8 articles
- The relevant logics E, R and N R...
- Referenced in 378 articles
- The TPTP (Thousands of Problems for Theorem Provers...
- Referenced in 470 articles
- The Mizar System is the only implementation of...
- Referenced in 50 articles
- Satallax is an automated theorem prover for higher...