×

Found 134 Software Packages (Results 1–100)

Coq

Software Authors:   Dehlinger, Christophe; Dufourd, Jean-François
Cited in: 1,830 Publications (1993–2023)
Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Automath

Software Authors:   N. G. de Bruijn; Wiedijk, Freek; Kamareddine, Fairouz; Laan, Twan; Nederpelt, Rob
Cited in: 424 Publications (1970–2022)
Related Software: Coq; Nuprl; ML; Isabelle; Mizar; LEGO; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Agda

Software Authors:   Ulf Norell
Cited in: 210 Publications (1999–2022)
Related Software: Coq; Haskell; Isabelle/HOL; HOL Light; Nuprl; Idris; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Isar

Software Authors:   Makarius Wenzel
Cited in: 144 Publications (2000–2021)
Related Software: Isabelle; Isabelle/HOL; Coq; Mizar; Isabelle/Isar; HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Flyspeck

Software Authors:   Hales, Thomas C.; Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman
Cited in: 124 Publications (2004–2022)
Related Software: HOL Light; Isabelle/HOL; Coq; kepler98; Mizar; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX)

KRAKATOA

Software Authors:   Marché, C.; Paulin-Mohring, C.; Urbain, X.
Cited in: 78 Publications (2004–2022)
Related Software: Why3; Caduceus; JML; Spec#; Boogie; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Coq/SSReflect

Software Authors:   Microsoft Research-Inria Joint Center
Cited in: 71 Publications (2008–2021)
Related Software: Coq; Isabelle/HOL; Mizar; ACL2; Isabelle; Flyspeck; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

Proof General

Software Authors:   Aspinall, David
Cited in: 52 Publications (2000–2020)
Related Software: Coq; Isabelle; Isabelle/HOL; Mizar; Isar; Isabelle/jEdit; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Partial differential equations (35-XX)

C-CoRN

Software Authors:   Henk Barendregt, Vince Bárány, Luís Cruz-Filipe, Herman Geuvers, Mariusz Giero, Rik van Ginneken, Dimitri Hendriks, Sébastien Hinderer, Cezary Kaliszyk, B. W. M. Kirkels, Pierre Letouzey, Iris Loeb, Lionel Mamanem Milad Niqui, Russell O’Connor, Randy Pollack, Nickolay V. Shmyrev, Bas Spitters, Dan Synek, Freek Wiedijk, Jan Zwanenburg
Cited in: 39 Publications (2004–2022)
Related Software: Coq; Isabelle/HOL; Mizar; ACL2; HOL Light; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Numerical analysis (65-XX)

CoLoR

Software Authors:   F. Blanqui, W. Delobel, S. Coupet-Grimal, S. Hinderer, A. Koprowski
Cited in: 39 Publications (2006–2022)
Related Software: Coq; Isabelle/HOL; CeTA; AProVE; CiME; Tyrolean; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

CiME

Software Authors:   Évelyne Contejean, Claude Marché, Andrei Paskevich, Xavier Urbain
Cited in: 38 Publications (1997–2022)
Related Software: AProVE; Tyrolean; Coq; CoLoR; MU-TERM; CeTA; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

Ynot

Software Authors:   Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars
Cited in: 34 Publications (2008–2019)
Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Isabelle/jEdit

Software Authors:   Wenzel, Makarius
Cited in: 34 Publications (2011–2022)
Related Software: Isabelle; Isabelle/HOL; Coq; Proof General; PIDE; Archive Formal Proofs; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Ott

Software Authors:   Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok
Cited in: 33 Publications (2007–2021)
Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; PoplMark; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

UniMath

Software Authors:   Voevodsky, V., Mörtberg, A., Ahrens, B., Lelay, C., Pannila, T., Matthes, R.
Cited in: 24 Publications (2016–2022)
Related Software: GitHub; Coq; cubicaltt; Lean; HoTT; Agda; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)

Zenon

Software Authors:   Bonichon, Richard; Delahaye, David; Doligez, Damien
Cited in: 20 Publications (2007–2022)
Related Software: Coq; TPTP; dedukti; Isabelle/HOL; FoCaLiZe; BWare; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Flocq

Software Authors:   S Boldo; G Melquiond; inria.fr
Cited in: 22 Publications (2011–2022)
Related Software: Coq; Why3; HOL Light; z3; Gappa; MPFR; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Partial differential equations (35-XX)

Irdis

Software Authors:   –
Cited in: 22 Publications (2011–2021)
Related Software: Idris; Coq; Agda; Haskell; GitHub; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

Paco

Software Authors:   Chung-Kil Hur, Georg Neis, Derek Dreyer, Viktor Vafeiadis
Cited in: 22 Publications (2013–2021)
Related Software: Coq; Isabelle/HOL; Agda; Isabelle; coFJ; CoCaml; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

cminor

Software Authors:   Appel, A.W., Blazy, S.
Cited in: 17 Publications (2007–2016)
Related Software: Coq; CompCert; Isabelle/HOL; CIL; Boogie; Dafny; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Gappa

Software Authors:   Guillaume Melquiond
Cited in: 19 Publications (2009–2021)
Related Software: Coq; z3; ASTREE; PVS; Why3; Flocq; …
Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Partial differential equations (35-XX)

HYBRID

Software Authors:   Hybrid Group
Cited in: 18 Publications (2012–2021)
Related Software: Twelf; Coq; PoplMark; Abella; Nominal Isabelle; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

GeoProof

Software Authors:   Julien Narboux; Nicolas François
Cited in: 17 Publications (2007–2020)
Related Software: GEX; GeoThms; Coq; GCLC; GeoGebra; JGEX; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)

HoTT

Software Authors:   Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Mike Shulman, Matthieu Sozeau, Bas Spitters
Cited in: 17 Publications (2016–2021)
Related Software: GitHub; Coq; MathOverflow; UniMath; cubicaltt; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)

Jakarta

Software Authors:   Daniela Junho de Andrade, Simão Melo de Sousa
Cited in: 17 Publications (2001–2014)
Related Software: Coq; OCaml; LETOS; A3PAT; SCC; ITP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Geophysics (86-XX)

CoqHammer

Software Authors:   Czajka, Łukasz; Kaliszyk, Cezary
Cited in: 17 Publications (2017–2021)
Related Software: Coq; E Theorem Prover; Isabelle/HOL; Mizar; TPTP; VAMPIRE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX)

Mtac

Software Authors:   Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor
Cited in: 16 Publications (2013–2021)
Related Software: Coq; Agda; Idris; seL4; VeriML; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Coquelicot

Software Authors:   Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
Cited in: 15 Publications (2015–2022)
Related Software: Coq; Isabelle/HOL; Lean; PVS; kepler98; C-CoRN; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX)

Whelp

Software Authors:   Asperti, Andrea; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico; Zacchiroli, Stefano
Cited in: 15 Publications (2006–2021)
Related Software: Mizar; Coq; MML; Matita; Nuprl; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Fiat

Software Authors:   Delaware, B., Claudel, C.P., Gross, J., Chlipala, A.
Cited in: 14 Publications (2015–2019)
Related Software: Coq; Isabelle/HOL; Isabelle; CertiCoq; CakeML; OCaml; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

CertiCoq

Software Authors:   Anand, A., Appel, A., Morrisett, G., Paraskevopoulou, Z., Pollack, R., Belanger, O.S., Sozeau, M., Weaver, M.
Cited in: 13 Publications (2017–2022)
Related Software: Coq; CakeML; OEuf; Isabelle/HOL; HOL; Fiat; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

CtCoq

Software Authors:   Bertot, Y.
Cited in: 12 Publications (1996–2017)
Related Software: Coq; Proof General; Matita; Centaur; Whelp; Mizar; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

Isabelle/PIDE

Software Authors:   Makarius Wenzel; Burkhart Wolff
Cited in: 13 Publications (2012–2020)
Related Software: Coq; Isabelle; Isabelle/jEdit; Proof General; Isabelle/HOL; PIDE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Verasco

Software Authors:   Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie
Cited in: 12 Publications (2016–2021)
Related Software: Coq; z3; ASTREE; Toolchain; LLVM; HACL*; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Convex and discrete geometry (52-XX)

CompCertTSO

Software Authors:   Ševčík, Jaroslav; Vafeiadis, Viktor; Zappa Nardelli, Francesco; Jagannathan, Suresh; Sewell, Peter
Cited in: 12 Publications (2013–2019)
Related Software: Coq; CompCert; CompCertS; Paco; GCminor; CakeML; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

PIDE

Software Authors:   Wenzel, Makarius
Cited in: 12 Publications (2012–2022)
Related Software: Isabelle/jEdit; Coq; Sledgehammer; Isabelle/HOL; Proof General; Isabelle/Isar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

miz3

Software Authors:   Wiedijk, Freek
Cited in: 11 Publications (2012–2020)
Related Software: Coq; Mizar; Isar; HOL; Isabelle/HOL; OMDoc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

SMTCoq

Software Authors:   Ekici, B., et al.
Cited in: 11 Publications (2017–2022)
Related Software: Coq; CVC4; z3; Isabelle/HOL; SMT-LIB; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Geometry (51-XX)

Charge!

Software Authors:   Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars
Cited in: 10 Publications (2012–2021)
Related Software: Coq; Toolchain; VeriFast; HIP; VeriSmall; Frama-C; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FoCaLiZe

Software Authors:   INRIA; Pessaux, F., Weia, P., Doligez, D.
Cited in: 8 Publications (2015–2021)
Related Software: Coq; dedukti; PVS; Zenon; Isabelle/HOL; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GeoCoq

Software Authors:   Michael Beeson, Pierre Boutry, Gabriel Braun, Charly Gries, Julien Narboux
Cited in: 9 Publications (2007–2022)
Related Software: Coq; Isabelle/Isar; Isabelle/HOL; JGEX; GeoGebra; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

ML4PG

Software Authors:   Heras, Jónathan; Komendantskaya, Ekaterina
Cited in: 10 Publications (2013–2021)
Related Software: Coq; SEPIA; Flyspeck; Coq/SSReflect; WEKA; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

Proviola

Software Authors:   Tankink, Carst; Geuvers, Herman; McKinna, James; Wiedijk, Freek
Cited in: 8 Publications (2010–2016)
Related Software: Coq; Proof General; Isabelle; Flyspeck; HOL Light; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

GeoView

Software Authors:   Bertot, Y., Guilhot, F., Pottier, L.
Cited in: 9 Publications (2006–2017)
Related Software: GeoThms; GCLC; MMP/Geometer; GEX; GCLCprover; GeoProof; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Mathematics education (97-XX)

THYC

Software Authors:   Le Coq, G.; Aubry, S.; Cahouet, J.; Lequesne, P.; Nicolas, G.; Pastorini, S.
Cited in: 9 Publications (2010–2021)
Related Software: FLICA-4; CATHARE; FLICA-OVAP; Aghora; CEDRE; HE-E1GODF; …
Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

TRX

Software Authors:   Koprowski, Adam; Binsztok, Henri
Cited in: 8 Publications (2010–2020)
Related Software: Coq; Agda; HOL; CompCert; GitHub; seL4; …
Main Fields: Computer science (68-XX)

A3PAT

Software Authors:   Contejean, E., Paskevich, A., Urbain, X., Courtieu, P., Pons, O., Forest, J.
Cited in: 8 Publications (2010–2017)
Related Software: CoLoR; CeTA; Isabelle/HOL; Coq; AProVE; Tyrolean; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CertiKOS

Software Authors:   Gu, R., Shao, Z., Chen, H., Wu, X.N., Kim, J., Sjöberg, V., Costanzo, D.
Cited in: 8 Publications (2017–2020)
Related Software: seL4; Isabelle/HOL; Isabelle; HOL; Coq; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CFML

Software Authors:   Charguéraud, Arthur
Cited in: 7 Publications (2010–2015)
Related Software: Coq; ML; HOL; Haskell; Milawa; Smallfoot; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VeriML

Software Authors:   Stampoulis, Antonis; Shao, Zhong
Cited in: 8 Publications (2010–2016)
Related Software: Coq; seL4; Mtac; Delphin; ML; Haskell; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

LNgen

Software Authors:   Aydemir, B.E., Weirich, S.
Cited in: 7 Publications (2011–2021)
Related Software: PoplMark; Isabelle/HOL; Nominal Isabelle; Abella; Twelf; Beluga; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

OEuf

Software Authors:   Mullen, E.; Pernsteiner, S.; Wilcox, J. R.; Tatlock, Z.; Grossman, D.
Cited in: 7 Publications (2018–2022)
Related Software: Coq; CertiCoq; CakeML; Isabelle/HOL; HOL; MetaCoq; …
Main Fields: Computer science (68-XX)

SEPIA

Software Authors:   Gransden, T., Walkinshaw, N., Raman, R.
Cited in: 7 Publications (2015–2021)
Related Software: Coq; E Theorem Prover; ML4PG; HOL; FEMaLeCoP; Flyspeck; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

TiML

Software Authors:   Wang, P., Wang, D., Chlipala, A.
Cited in: 7 Publications (2018–2022)
Related Software: TcT; z3; Separation Logic; ACE; OptiMathSAT; Amortized Complexity; …
Main Fields: Computer science (68-XX)

Vellvm

Software Authors:   Zhao, Jianzhou; Nagarakatte, Santosh; Martin, Milo M.K.; Zdancewic, Steve
Cited in: 7 Publications (2012–2021)
Related Software: Coq; LLVM; GraalVM; GitHub; CompCert; CakeML; …
Main Fields: Computer science (68-XX)

CertiCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Zanella Béguelin, Santiago
Cited in: 5 Publications (2009–2017)
Related Software: Coq; Coq/SSReflect; EasyCrypt; kepler98; seL4
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CoqMT

Software Authors:   Pierre-Yves Strub
Cited in: 6 Publications (2010–2020)
Related Software: Coq; CoqMTU; Boogie; ArchSAT; CoqInE; HARP; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)

Coquet

Software Authors:   Braibant, Thomas
Cited in: 6 Publications (2011–2021)
Related Software: Coq; Lava; Kami; Haskell; muFP; FreeSpec; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Equations

Software Authors:   Sozeau, Matthieu
Cited in: 6 Publications (2010–2020)
Related Software: Coq; Idris; Lean; Irdis; GitHub; AmiCo; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); Computer science (68-XX)

FocalTest

Software Authors:   Carlier, Matthieu; Dubois, Catherine; Gotlieb, Arnaud
Cited in: 6 Publications (2011–2018)
Related Software: QuickCheck; Coq; SmallCheck; Mathematical Components; GitHub; QuickChick; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Gallina

Software Authors:   Huet, Gérard
Cited in: 6 Publications (1994–2018)
Related Software: Coq; Mtac; Template-Coq; CertiCoq; Charge!; Fiat; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Pcoq

Software Authors:   Ahmed Amerkad; Yves Bertot, Loïc Pottier; Laurence Rideau
Cited in: 5 Publications (2007–2012)
Related Software: Coq; Isar; Proof General Kit; GeoView; GEX; GeoProof; …
Main Fields: Computer science (68-XX)

Pilsner

Software Authors:   Neis, Georg; Hur, Chung-Kil; Kaiser, Jan-Oliver; McLaughlin, Craig; Dreyer, Derek; Vafeiadis, Viktor
Cited in: 6 Publications (2015–2021)
Related Software: Coq; CakeML; Isabelle/HOL; HOL; Boogie; Kami; …
Main Fields: Computer science (68-XX)

Verdi

Software Authors:   J. R. Wilcox, D. Woos, P. Panchekha, Z. Tatlock, X. Wang, M. D. Ernst, T. E. Anderson
Cited in: 6 Publications (2017–2021)
Related Software: z3; Ivy; Ivy; PSync; nuXmv; Chapar; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VeriSmall

Software Authors:   Appel, Andrew W.
Cited in: 5 Publications (2012–2018)
Related Software: Coq; Charge!; Smallfoot; SLAyer; VeriFast; jStar; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Bedrock

Software Authors:   Adam Chlipala
Cited in: 4 Publications (2017–2019)
Related Software: Coq; Toolchain; OCaml; Archive Formal Proofs; Amortized Complexity; Separation Logic; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CoqEAL

Software Authors:   Dénès M; Cyril Cohen; Anders Mörtberg
Cited in: 5 Publications (2012–2021)
Related Software: Coq; Coq/SSReflect; Coq-Combi; Zeta_3_Irrational; Mathematical Components; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Algebraic topology (55-XX)

Galculator

Software Authors:   Silva, P. F.; Oliveira, J. N.
Cited in: 5 Publications (2009–2019)
Related Software: Fiat; Verasco; ASTREE; AoPA; Agda; Z; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

Mechanized Semantic Library

Software Authors:   Appel, A.W., Dockins, R., Hobor, A
Cited in: 5 Publications (2011–2015)
Related Software: Coq; pthreads; Boogie; Rtac; ModuRes; VeriSmall
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

Mezzo

Software Authors:   Pottier, François; Protzenko, Jonathan
Cited in: 4 Publications (2014–2018)
Related Software: Alcove; Featherweight Java; Rodin; Rust; Charge!; Infer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

QuickChick

Software Authors:   Paraskevopoulou, Zoe; Hriţcu, Cătălin; Dénès, Maxime; Lampropoulos, Leonidas; Pierce, Benjamin C.
Cited in: 5 Publications (2015–2019)
Related Software: PVS; Coq; QuickCheck; Nitpick; SmallCheck; z3; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Rocksalt

Software Authors:   Morrisett, G., Tan, G., Tassarotti, J., Tristan, J.B., Gan, E.
Cited in: 5 Publications (2015–2021)
Related Software: Coq; GDSL; FreeSpec; operational; Kami; GitHub; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Template-Coq

Software Authors:   Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas
Cited in: 5 Publications (2018–2022)
Related Software: Coq; MetaCoq; CertiCoq; Idris; OEuf; Mtac; …
Main Fields: Computer science (68-XX)

Chapar

Software Authors:   Lesani, Mohsen; Bell, Christian J.; Chlipala, Adam
Cited in: 4 Publications (2016–2021)
Related Software: Verdi; z3; Constructive Proof FLP; Archive Formal Proofs; CVC4; Ivy; …
Main Fields: Computer science (68-XX)

CoqInE

Software Authors:   Ali Assaf, Mathieu Boespflug, Guillaume Burel, Quentin Carbonneaux, Gaspard Férey, François Thiré
Cited in: 4 Publications (2015–2021)
Related Software: Coq; CoqHammer; HOL Light; Mizar; PVS; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CoqJVM

Software Authors:   The Coq development team, CNRS, INRIA and Université Paris Sud
Cited in: 4 Publications (2008–2021)
Related Software: Isabelle/HOL; HOL; TSL; K Prover; TSOTool; CompCert; …
Main Fields: Computer science (68-XX)

gaia

Software Authors:   José Grimm (Marelle Team)
Cited in: 4 Publications (2010–2016)
Related Software: Coq; Coq/SSReflect; Flyspeck; ALF; OMDoc; Automath; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

GCminor

Software Authors:   McCreight, Andrew; Chevalier, Tim; Tolmach, Andrew
Cited in: 4 Publications (2010–2019)
Related Software: Coq; CompCert; CompCertTSO; HOL; Milawa; OCaml; …
Main Fields: Computer science (68-XX)

Gmeta

Software Authors:   Lee, Gyesik; Oliveira, Bruno C.D.S.; Cho, Sungkeun; Yi, Kwangkeun
Cited in: 4 Publications (2012–2020)
Related Software: LNgen; PoplMark; Psi-calculi; Nominal Isabelle; Isabelle; HYBRID; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Kami

Software Authors:   Choi, J., Vijayaraghavan, M., Sherman, B., Chlipala, A., Arvind
Cited in: 4 Publications (2018–2021)
Related Software: Coq; GitHub; Coquet; Haskell; FreeSpec; operational; …
Main Fields: Computer science (68-XX)

Lem

Software Authors:   Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter
Cited in: 3 Publications (2011–2021)
Related Software: Isabelle/HOL; Coq; ACL2; HOL Light; HOL; Ott; …
Main Fields: Computer science (68-XX)

Mathematical Components

Software Authors:   Mathematical Components Team
Cited in: 4 Publications (2016–2021)
Related Software: Coq; Isabelle/HOL; GitHub; QuickChick; SmallCheck; QuickCheck; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

MetaCoq

Software Authors:   Sozeau, Matthieu; Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Forster, Yannick; Kunze, Fabian; Malecha, Gregory; Tabareau, Nicolas; Winterhalter, Théo
Cited in: 4 Publications (2020–2022)
Related Software: Coq; CertiCoq; Template-Coq; Idris; CompCert; CakeML; …
Main Fields: Computer science (68-XX)

ModuRes

Software Authors:   Sieczkowski, Filip; Bizjak, Aleš; Birkedal, Lars
Cited in: 4 Publications (2015–2020)
Related Software: Coq; Kami; Archive Formal Proofs; GitHub; UTPCalc; Circus; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

NLCertify

Software Authors:   Victor Magron
Cited in: 4 Publications (2014–2017)
Related Software: OCaml; Coq; Sollya; Flocq; dReal; HOL Light; …
Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

Unison

Software Authors:   Pierce, Benjamin C.; Vouillon, Jérôme
Cited in: 4 Publications (2001–2011)
Related Software: Zing; Coq
Main Fields: Computer science (68-XX)

AnZenMail

Software Authors:   Shibayama, Etsuya; Hagihara, Shigeki; NaokiKobayashi,; Nishizaki, Shin-ya; KenjiroTaura,; Watanabe, Takuo
Cited in: 2 Publications (2003)
Related Software: Coq; TALx86; JFlow; FDR2; CCured; Java PathFinder; …
Main Fields: Computer science (68-XX)

BicolanoMT

Software Authors:   Huisman, M., Petri, G.
Cited in: 3 Publications (2009–2018)
Related Software: Archive Formal Proofs; Jinja Threads; Isabelle/HOL; K Prover; CLDC; Jinja not Java; …
Main Fields: Computer science (68-XX)

Coccinelle

Software Authors:   Contejean, E.
Cited in: 2 Publications (2007–2008)
Related Software: CoLoR; Coq; IsaFoR; Isabelle/HOL; CeTA; Jambox; …
Main Fields: Computer science (68-XX)

HoTTSQL

Software Authors:   Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu
Cited in: 3 Publications (2018–2021)
Related Software: Coq; Agda; RedPRL; Cubical agda; cubicaltt; Idris; …
Main Fields: Computer science (68-XX)

MMode

Software Authors:   Giero M, Wiedijk F.
Cited in: 3 Publications (2014–2015)
Related Software: Mizar; Coq; Isar; Isabelle/Isar; Logic2CNF; OMDoc; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Rtac

Software Authors:   Malecha, G., Bengtson, J.
Cited in: 3 Publications (2015–2021)
Related Software: Coq; CompCertTSO; Delphin; seL4; VeriML; Mtac; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Systems theory; control (93-XX)

VeriStar

Software Authors:   Stewart, Gordon; Beringer, Lennart; Appel, Andrew W.
Cited in: 3 Publications (2012–2016)
Related Software: Coq; jStar; Smallfoot; Rocksalt; Gallina; VeriSmall; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VST-Floyd

Software Authors:   Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W.
Cited in: 3 Publications (2018–2021)
Related Software: Coq; Toolchain; Rust; Dafny; GitHub; VeriFast; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ALICe

Software Authors:   Vivien Maisonneuve, Olivier Hermant, François Irigoin
Cited in: 2 Publications (2014–2018)
Related Software: ASTREE; Soot; PPL; Apron; Omega; PAGAI; …
Main Fields: Computer science (68-XX)

ArchSAT

Software Authors:   Guillaume Bury
Cited in: 1 Publication (2020)
Related Software: Zenon; TPTP; dedukti; Zipperposition; E Theorem Prover; ekstrakto; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AstraVer

Software Authors:   Grigoriy Volkov, Mikhail Mandrykin, Denis Efremov
Cited in: 1 Publication (2021)
Related Software: Why3; Dafny; Coq; VerCors; Isabelle/HOL; GPUVerify; …
Main Fields: Computer science (68-XX)

Autosubst

Software Authors:   S. Schäfer, T. Tebbi, G. Smolka
Cited in: 2 Publications (2015–2016)
Related Software: foetus; OCaml; Why3; Haskell; Coq; LNgen; …
Main Fields: Computer science (68-XX)

Coq Interval

Software Authors:   Guillaume Melquiond
Cited in: 2 Publications (2019)
Related Software: Coq; Coquelicot; Octave; hikmot; cheeky; GitHub; …
Main Fields: Manifolds and cell complexes (57-XX); Numerical analysis (65-XX); Computer science (68-XX)

Coq-Combi

Software Authors:   Florent Hivert
Cited in: 2 Publications (2021)
Related Software: Archive Formal Proofs; Isabelle/HOL; Zeta_3_Irrational; Mathematical Components; Lean; CakeML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)