
Coq/SSReflect
 Referenced in 62 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 11 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]
 prooforiented description taking advantage of the SSReflect library, and then refine...

ACL2
 Referenced in 274 articles
[sw00060]
 ACL2 is both a programming language in which...

Coq
 Referenced in 1748 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2702 articles
[sw00320]
 GAP is a system for computational discrete algebra...

homalg
 Referenced in 26 articles
[sw00411]
 homalg: a metapackage for homological algebra. The...

Mathematica
 Referenced in 5693 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11446 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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

Haskell
 Referenced in 821 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

Mizar
 Referenced in 452 articles
[sw04704]
 The Mizar System is the only implementation of...

Kenzo
 Referenced in 60 articles
[sw04861]
 The Kenzo program implements the general ideas of...

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

WEKA
 Referenced in 272 articles
[sw06435]
 WEKA: Waikato Environment for Knowledge Analysis. WEKA is...

CCoRN
 Referenced in 34 articles
[sw06752]
 The Constructive Coq Repository at Nijmegen, CCoRN...

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