• Haskell

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • Why3

  • Referenced in 135 articles [sw04438]
  • Why3 is a platform for deductive program verification...
  • Uppaal

  • Referenced in 653 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • Mizar

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

  • Referenced in 65 articles [sw04861]
  • The Kenzo program implements the general ideas of...
  • HOL

  • Referenced in 591 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • GeoProof

  • Referenced in 17 articles [sw05737]
  • This program is an interactive geometry software with...
  • Matita

  • Referenced in 71 articles [sw06140]
  • Matita (that means pencil in italian) is an...
  • GeoThms

  • Referenced in 25 articles [sw06216]
  • GeoThms -- a web system for Euclidean constructive geometry...
  • Nuprl

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

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • gcl

  • Referenced in 9 articles [sw07212]
  • Geometry Constructions Language (gcl) is a language for...
  • Plastic

  • Referenced in 18 articles [sw07403]
  • Plastic: Typed LF with Inductive Types, Universes, and...
  • LCF

  • Referenced in 158 articles [sw08360]
  • Edinburgh LCF. A mechanized logic of computation. From...
  • CakeML

  • Referenced in 53 articles [sw08799]
  • Cakeml, a verified implementation of ML. We have...