
Coq
 Referenced in 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2948 articles
[sw00320]
 GAP is a system for computational discrete algebra...

KRIPKE
 Referenced in 8 articles
[sw01162]
 The relevant logics E, R and N R...

TPTP
 Referenced in 378 articles
[sw04143]
 The TPTP (Thousands of Problems for Theorem Provers...

Mizar
 Referenced in 470 articles
[sw04704]
 The Mizar System is the only implementation of...

Satallax
 Referenced in 50 articles
[sw06849]
 Satallax is an automated theorem prover for higher...