• Coq

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

  • Referenced in 22 articles [sw00367]
  • GnT is an experimental implementation of the stable...
  • Isabelle

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

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

  • Referenced in 250 articles [sw02076]
  • Practical power analysis attacks on software implementations of...
  • ASSAT

  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...
  • CPLEX

  • Referenced in 2766 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • HOL

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

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

  • Referenced in 80 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...
  • clasp

  • Referenced in 103 articles [sw07095]
  • clasp: A conflict-driven answer set solver. clasp...
  • Agda

  • Referenced in 205 articles [sw09689]
  • Agda is a dependently typed functional programming language...
  • Esterel

  • Referenced in 165 articles [sw20012]
  • Esterel is both a programming language, dedicated to...