• Coq/SSReflect

  • Referenced in 57 articles [sw09360]
  • Ssreflect extension library for the Coq proof assistant. The name Ssreflect stands for ”small scale ... hence the name. For example, in the Ssreflect library arithmetic comparison is not an abstract...
  • miz3

  • Referenced in 8 articles [sw18631]
  • have been combined before in the Isabelle, Ssreflect and Matita systems. Our approach is generic...
  • gaia

  • Referenced in 4 articles [sw09607]
  • Standard Coq; they are converted to ssreflect (version 1.3); the files have been compiled...
  • CoqEAL

  • Referenced in 3 articles [sw03703]
  • proof-oriented description taking advantage of the SSReflect library, and then refine...
  • ACL2

  • Referenced in 256 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

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

  • Referenced in 2399 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • homalg

  • Referenced in 26 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • Mathematica

  • Referenced in 5209 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 10470 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • SINGULAR

  • Referenced in 1197 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • Haskell

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

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

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

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

  • Referenced in 241 articles [sw06435]
  • WEKA: Waikato Environment for Knowledge Analysis. WEKA is...
  • C-CoRN

  • Referenced in 33 articles [sw06752]
  • The Constructive Coq Repository at Nijmegen, C-CoRN...
  • CTL

  • Referenced in 9 articles [sw06766]
  • The Component Template Library (CTL) is a C...