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)