HOL Light Software Authors: Harrison, John Cited in: 305 Publications (1998–2022) Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; … Main Fields: (68T15-XX); (03B35-XX)
Sledgehammer Software Authors: Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C. Cited in: 149 Publications (2010–2022) Related Software: Isabelle/HOL; Isabelle; z3; Coq; VAMPIRE; TPTP; … Main Fields: (68T15-XX)
Why3 Software Authors: François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich Cited in: 132 Publications (2004–2023) Related Software: KRAKATOA; Coq; Caduceus; z3; Boogie; Isabelle/HOL; … Main Fields: –
WhyML Software Authors: Filliâtre, Jean-Christophe; Paskevich, Andrei Cited in: 32 Publications (2013–2023) Related Software: Why3; z3; Coq; Boogie; Isabelle/HOL; Dafny; … Main Fields: (68Nxx-XX)
TRAMP Software Authors: Meier, A. Cited in: 20 Publications (2000–2020) Related Software: TPTP; VAMPIRE; HOL; SPASS; Isabelle/HOL; Isabelle; … Main Fields: –
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; HOL; … Main Fields: (68N30-XX); (68T15-XX)
HOL-Boogie Software Authors: Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart Cited in: 13 Publications (2008–2015) Related Software: Isabelle/HOL; Why3; Boogie; z3; Caduceus; VCC; … Main Fields: (68Q60-XX); (68T15-XX)
miz3 Software Authors: Wiedijk, Freek Cited in: 11 Publications (2012–2020) Related Software: Coq; Mizar; Isar; HOL; Isabelle/HOL; OMDoc; … Main Fields: –
GAPT Software Authors: Ebner, G.; Hetzl, S.; Reis, G.; Riener, M.; Wolfsteiner, S.; Zivota, S. Cited in: 10 Publications (2013–2021) Related Software: TPTP; ProofTool; CERES; leanCoP; E Theorem Prover; Mace4; … Main Fields: –
P.rex Software Authors: Fiedler, A. Cited in: 8 Publications (2001–2015) Related Software: TRAMP; VAMPIRE; OMEGA; TPTP; Oyster; CLAM; … Main Fields: –
HOList Software Authors: Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, Christian Szegedy, Stewart Wilcox Cited in: 8 Publications (2020–2022) Related Software: E Theorem Prover; FEMaLeCoP; VAMPIRE; ileanCoP; leanCoP; XGBoost; … Main Fields: –
LIRA Software Authors: Becker, B., Dax, C., Eisinger, J., Klaedtke, F. Cited in: 7 Publications (2008–2021) Related Software: LASH; TaPAS; cvc3; FAST; MONA; GenPSAT; … Main Fields: –
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)
Proofwatch Software Authors: Goertzel, Zarathustra; Jakubův, Jan; Schulz, Stephan; Urban, Josef Cited in: 4 Publications (2018–2021) Related Software: E Theorem Prover; ENIGMA; MaLeCoP; VAMPIRE; MPTP 0.2; XGBoost; … Main Fields: (68T15-XX)
XBarnacle Software Authors: Jackson, Mike; Lowe, Helen; David Duncan Cited in: 4 Publications (2000–2006) Related Software: Nuprl; CLAM; Automath; Isabelle; Oyster; Lambda-Clam; … Main Fields: (68T15-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)
ILF-SETHEO Software Authors: Wolf, Andreas; Schumann, Johann Cited in: 2 Publications (1997) Related Software: SETHEO; E-SETHEO; HOL; KoMeT; TPTP Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
MUNCH Software Authors: Piskac, Ruzica; Kuncak, Viktor Cited in: 2 Publications (2010–2020) Related Software: z3; KIV; Caduceus; Why3; KRAKATOA; Isabelle Main Fields: (68T15-XX)
GeoLogic Software Authors: Miroslav Olšák Cited in: 0 Publications Related Software: JGEX; GeoCoq; GeoGebra Main Fields: –
Mella Software Authors: Armstrong, Alasdair; Foster, Simon; Struth, Georg Cited in: 1 Publication (2012) Related Software: Waldmeister; Agda; Epigram; Nuprl; Proof General; Mizar; … Main Fields: (68N30-XX)
ProofViz Software Authors: Melcer, Daniel; Chang, Stephen Cited in: 1 Publication (2021) Related Software: HACL*; LOUI; PVS Main Fields: (68V15-XX)