• Coq

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

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Timbuk

  • Referenced in 47 articles [sw06351]
  • Timbuk is a collection of tools for achieving...
  • OCaml

  • Referenced in 273 articles [sw06363]
  • OCaml is the most popular variant of the...