• Coq

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

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • ML

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

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • Logic programming with functions and predicates: The language...
  • Haskell

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

  • Referenced in 320 articles [sw04419]
  • The convex hull of a point set P...
  • Miranda

  • Referenced in 153 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic...
  • Maude

  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • GHC

  • Referenced in 103 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher...
  • Nuprl

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

  • Referenced in 107 articles [sw09685]
  • LEGO is an interactive proof development system (proof...
  • ITP

  • Referenced in 31 articles [sw09808]
  • The ITP tool is a theorem prover that...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • PARLOG: Parallel programming in logic. PARLOG is a...
  • TREX

  • Referenced in 19 articles [sw37675]
  • TREX Tree Regular Expressions for XML. TREX has...