• Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • PVS

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...
  • SPASS

  • Referenced in 184 articles [sw04108]
  • SPASS is an automated theorem prover for first...
  • Mizar

  • Referenced in 505 articles [sw04704]
  • The Mizar System is the only implementation of...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • FLOTTER

  • Referenced in 16 articles [sw29685]
  • FLOTTER and SPASS are a clause normal form...