Results 1 to 6 of 6
Sort by:

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