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)
Sledgehammer Software Authors: Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C. Cited in: 144 Publications (2010–2022) Related Software: Isabelle/HOL; Isabelle; z3; Coq; VAMPIRE; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-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)
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)
HOLyHammer Software Authors: Kaliszyk, Cezary; Urban, Josef Cited in: 26 Publications (2014–2021) Related Software: HOL Light; Mizar; Flyspeck; Isabelle/HOL; E Theorem Prover; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-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)
MizarMode Software Authors: Urban, Josef Cited in: 18 Publications (2006–2019) Related Software: Mizar; MML; MoMM; MPTP 0.2; E Theorem Prover; MPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)
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)
JProver Software Authors: Schmitt, S., Lorigo, L., Kreitz, C., Nogin, A Cited in: 13 Publications (2001–2019) Related Software: ileanCoP; Coq; leanCoP; TPTP; Nuprl; E Theorem Prover; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
MiniAgda Software Authors: Abel, A. Cited in: 10 Publications (2011–2021) Related Software: Coq; Agda; GitHub; Paco; Isabelle; ML; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)
TacticToe Software Authors: Gauthier, T., Kaliszyk, C., Urban, J. Cited in: 10 Publications (2017–2021) Related Software: E Theorem Prover; MaLeCoP; FEMaLeCoP; HOL; Coq; ENIGMA; … Main Fields: Computer science (68-XX)
Cubical agda Software Authors: Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas Cited in: 9 Publications (2021–2022) Related Software: cubicaltt; GitHub; RedPRL; Coq; MetaPRL; LEGO; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-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)
Speedith Software Authors: Urbas, M., Jamnik, M., Stapleton, G., Flower, J. Cited in: 5 Publications (2012–2019) Related Software: Openproof; Diabelli; Dr.Doodle; MaSh; Hets; HOL Light; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)
AmiCo Software Authors: Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy Cited in: 5 Publications (2017–2020) Related Software: HOL; Isabelle/HOL; Lean; Agda; Coq; Archive Formal Proofs; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-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)
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)
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)
Imandra Software Authors: Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto Cited in: 3 Publications (2020–2021) Related Software: Zeno; SMT-LIB; VAMPIRE; CVC4; AVATAR; eThor; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Plat-Omega Software Authors: Wagner, Marc; Autexier, Serge; Benzmüller, Christoph Cited in: 3 Publications (2007–2019) Related Software: OMDoc; MMTTeX; LaTeX; Mizar; Isabelle; Multi; … Main Fields: Computer science (68-XX)
MMTTeX Software Authors: Rabe, Florian Cited in: 2 Publications (2019) Related Software: Isabelle; LaTeX; Plat-Omega; Mizar; Isabelle/PIDE; MMT; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
ProofWeb Software Authors: Kaliszyk, C., van Raamsdonk, F., Wiedijk, F., Wupper, H., Hendriks, M., de Vrijer, R. Cited in: 2 Publications (2009–2010) Related Software: Isabelle/Isar; Coq; Matita; Proviola; Mizar; Isar; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SAEPTUM Software Authors: Mauricio Ayala-Rincón; Thomas M. Sant'Ana Cited in: 2 Publications (2009–2010) Related Software: RRL; FELIX; CoLoR; NQTHM; PVS; Isabelle/HOL; … Main Fields: Computer science (68-XX)
DeepSEA Software Authors: Sjöberg, V., Sang, Y., Weng, S.c., Shao, Z. Cited in: 1 Publication (2021) Related Software: VerX; solc-verify Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
ekstrakto Software Authors: Mohamed Yacine El Haddad, Guillaume Burel, Frédéric Blanqui Cited in: 0 Publications Related Software: ArchSAT; Zipperposition; E Theorem Prover; Zenon; TPTP; dedukti Main Fields: –
Lowe_Ontological_Argument Software Authors: David Fuenmayor; Christoph Benzmüller Cited in: 1 Publication (2019) Related Software: Archive Formal Proofs; embed_modal; Isabelle/HOL; Nitpick Main Fields: Computer science (68-XX)
Panoptes Software Authors: Farmer, William M.; Grigorov, Orlin G. Cited in: 1 Publication (2009) Related Software: Caml; IDV; IMPS; OpenGL; OCaml; TPTP Main Fields: Computer science (68-XX)
ProofViz Software Authors: Melcer, Daniel; Chang, Stephen Cited in: 1 Publication (2021) Related Software: HACL*; LOUI; PVS Main Fields: Computer science (68-XX)
Slicing Software Authors: Daniel Wasserrab Cited in: 1 Publication (2008) Related Software: Isabelle/Isar; Isabelle/HOL; Isabelle Main Fields: Computer science (68-XX)