• 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...
  • 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...