ETPS Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Cited in: 161 Publications (1986–2022) Related Software: TPS; Isabelle/HOL; HOL; Isabelle; Nuprl; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
Isar Software Authors: Makarius Wenzel Cited in: 148 Publications (2000–2022) 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)
TPS Software Authors: Andrews, Peter B.; Brown, Chad E. Cited in: 76 Publications (1990–2022) Related Software: TPTP; ETPS; HOL; LEO-II; Satallax; PVS; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
Lean Software Authors: Microsoft; de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob Cited in: 73 Publications (2015–2023) Related Software: Coq; Isabelle/HOL; Agda; HOL Light; GitHub; Mizar; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Category theory; homological algebra (18-XX)
Abella Software Authors: Andrew Gacek Cited in: 53 Publications (2008–2022) Related Software: Twelf; Beluga; Coq; Isabelle/HOL; PoplMark; Bedwyr; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
IMPS Software Authors: Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier Cited in: 51 Publications (1990–2021) Related Software: Isabelle; Nuprl; Coq; HOL; PVS; ETPS; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
KeYmaera Software Authors: Platzer, André; Quesel, Jan-David Cited in: 48 Publications (2008–2022) Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; … Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)
CLAM Software Authors: Bundy, A., van Harmelen, F., Horn, C. Cited in: 40 Publications (1989–2021) Related Software: Oyster; Nuprl; HOL; Isabelle; InKa; NQTHM; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
HOLyHammer Software Authors: Kaliszyk, Cezary; Urban, Josef Cited in: 29 Publications (2014–2022) Related Software: HOL Light; Mizar; Flyspeck; E Theorem Prover; Sledgehammer; TPTP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-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)
Mtac Software Authors: Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor Cited in: 16 Publications (2013–2021) Related Software: Coq; Idris; Agda; seL4; VeriML; Irdis; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
JProver Software Authors: Schmitt, S., Lorigo, L., Kreitz, C., Nogin, A Cited in: 14 Publications (2001–2020) Related Software: ileanCoP; leanCoP; Coq; TPTP; Nuprl; E Theorem Prover; … 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: 12 Publications (2012–2020) Related Software: Coq; Isar; Mizar; HOL; Isabelle/HOL; OMDoc; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)
Athena Software Authors: Konstantine Arkoudas Cited in: 10 Publications (2004–2017) Related Software: HE-E1GODF; Athena; CASTRO; Maude; CafeOBJ; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)
MathScheme Software Authors: Carette, Jacques; Farmer, William M.; O’Connor, Russell Cited in: 9 Publications (2011–2021) Related Software: Coq; Agda; HOL Light; Theorema; Isabelle; Idris; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-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)
Omega-ANTS Software Authors: Benzmüller, Christoph; Sorge, Volker Cited in: 9 Publications (2001–2008) Related Software: OMEGA; LOUI; TRAMP; Leo; TPTP; MBase; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
RALL Software Authors: David von Oheimb, Thomas F. Gritzner Cited in: 9 Publications (1997–2014) Related Software: Ralf; Isabelle/HOL; ARA; Isabelle; RelView; CoLoR; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Amortized Complexity Software Authors: Tobias Nipkow Cited in: 8 Publications (2015–2021) Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; Isabelle; Coq; Root Balanced Tree; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
HOList Software Authors: Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox Cited in: 8 Publications (2020–2022) Related Software: ENIGMA; E Theorem Prover; GitHub; FEMaLeCoP; VAMPIRE; ileanCoP; … Main Fields: Group theory and generalizations (20-XX); Numerical analysis (65-XX); Computer science (68-XX)
Regex_Equivalence Software Authors: Nipkow, T.; Traytel, D. Cited in: 7 Publications (2014–2022) Related Software: Isabelle/HOL; Archive Formal Proofs; MSO_Regex_Equivalence; Myhill-Nerode; Lifting; Transfer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RGITL Software Authors: Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pf"ahler, Jörg; Reif, Wolfgang Cited in: 7 Publications (2014–2022) Related Software: SPIN; KIV; GNATprove; Isabelle/HOL; CIRC; CPAchecker; … Main Fields: Mathematical logic and foundations (03-XX); 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)
Tac Software Authors: Baelde, David; Miller, Dale; Snow, Zachary Cited in: 7 Publications (2007–2012) Related Software: Abella; Bedwyr; Twelf; Automath; HYBRID; Prolog; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Ergo 6 Software Authors: Utting, Mark; Robinson, Peter; Nickson, Ray Cited in: 6 Publications (1997–2003) Related Software: Qu-Prolog; CADP; Salsa; Maude; E-LOTOS; PVS; … Main Fields: Computer science (68-XX)
Jape Software Authors: Bornat, Richard; Sufrin, Bernard Cited in: 4 Publications (1997–2016) Related Software: HOL; Isabelle/Isar; Isabelle; mural; ProofPower; OpenTheory; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Bellerophon Software Authors: Fulton, Nathan; Mitsch, Stefan; Bohrer, Brandon; Platzer, André Cited in: 5 Publications (2017–2022) Related Software: KeYmaera; KeYmaera X; SpaceEx; Isabelle/HOL; ModelPlex; dReach; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
Psyche Software Authors: Graham-Lengrand, Stéphane Cited in: 5 Publications (2013–2020) Related Software: Isabelle; intuit; ILTP; TRAMP; GAPT; Easychair; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ProofPeer Software Authors: Obua, S., Fleuriot, J.D., Scott, P., Aspinall, D. Cited in: 4 Publications (2015–2019) Related Software: Isabelle/ZF; Metamath; Rodin; Twelf; Mizar; Isar; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Proofwatch Software Authors: Goertzel, Zarathustra; Jakubův, Jan; Schulz, Stephan; Urban, Josef Cited in: 4 Publications (2018–2021) Related Software: E Theorem Prover; BliStrTune; ENIGMA; MaLeCoP; VAMPIRE; MPTP 0.2; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Autosubst Software Authors: S. Schäfer, T. Tebbi, G. Smolka Cited in: 3 Publications (2015–2020) Related Software: Coq; GitHub; foetus; OCaml; Why3; Haskell; … Main Fields: Computer science (68-XX)
DrACuLa Software Authors: Dale Vaillancourt, Rex Page, Matthias Felleisen Cited in: 2 Publications (2007–2012) Related Software: DrScheme; ACL2; DrJava; Proof Pad; ACL2s; NQTHM; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
FACTum Software Authors: Marmsoler, Diego; Gidey, Habtom Kashay Cited in: 3 Publications (2019–2021) Related Software: AspectJ; Klocwork; Java-MOP; ConQAT; Reo; Architectural_Design_Patterns; … Main Fields: Computer science (68-XX)
HOLCF Software Authors: Brian Huffman Cited in: 3 Publications (2012–2017) Related Software: Isabelle/HOL; HOL; Archive Formal Proofs; Stern-Brocot Tree; MiniAgda; AmiCo; … Main Fields: Computer science (68-XX)
IsaMorph Software Authors: B. Klemens; Achim D. Brucker Cited in: 3 Publications (2009–2018) Related Software: Apophenia; cross2D; molsturm; CRYSCOR; SIMPL; reszeta.lib; … Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
HOL88 Software Authors: theoremprover-museum Cited in: 2 Publications (1999–2001) Related Software: HOL; PVS Main Fields: Computer science (68-XX)
HolBA Software Authors: Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads Cited in: 2 Publications (2020–2022) Related Software: GNATprove; RGITL; Isabelle/HOL; CIRC; CPAchecker; SeaHorn; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Proof Pad Software Authors: Caleb Eggensperger Cited in: 1 Publication (2018) Related Software: ACL2; DrACuLa; DrJava; DrScheme Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
ProofScript Software Authors: Obua, Steven; Scott, Phil; Fleuriot, Jacques Cited in: 2 Publications (2016) Related Software: dedukti; Coq; Isar; ProofPeer; Eisbach; Isabelle/ZF Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Evonne Software Authors: Alrabbaa, Christian; Baader, Franz; Borgwardt, Stefan; Dachselt, Raimund; Koopmann, Patrick; Méndez, Julián Cited in: 1 Publication (2022) Related Software: ELK; Protege-TS; FAME Main Fields: Computer science (68-XX)
HolPy Software Authors: Xu, Runqing; Li, Liming; Zhan, Bohua Cited in: 1 Publication (2021) Related Software: jsCoq; KeYmaera X; Lean; Python; HOL; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
jsCoq Software Authors: Arias, E.J.G., Pin, B., Jouvelot, P. Cited in: 1 Publication (2021) Related Software: HolPy; KeYmaera X; Lean; Python; HOL; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Mella Software Authors: Armstrong, Alasdair; Foster, Simon; Struth, Georg Cited in: 1 Publication (2012) Related Software: Metis_; Waldmeister; Agda; Epigram; Nuprl; Proof General; … 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)