ML Software Authors: Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh Cited in: 486 Publications (1978–2022) Related Software: HOL; Coq; Isabelle; Isabelle/HOL; Haskell; HOL Light; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
TPTP Software Authors: Geoff Sutcliffe; Christian Suttner Cited in: 397 Publications (1994–2023) Related Software: VAMPIRE; E Theorem Prover; SPASS; Isabelle/HOL; OTTER; Satallax; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ACL2 Software Authors: Matt Kaufmann, Strother Moore Cited in: 280 Publications (1998–2022) Related Software: Coq; Isabelle/HOL; HOL; PVS; Isabelle; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)
ETPS Software Authors: Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi Cited in: 159 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)
LCF Software Authors: Milner, Robin Cited in: 158 Publications (1972–2022) Related Software: ML; Coq; HOL; Nuprl; Isabelle; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Category theory; homological algebra (18-XX)
Isar Software Authors: Makarius Wenzel Cited in: 147 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: 71 Publications (2015–2022) Related Software: Coq; Isabelle/HOL; Agda; HOL Light; Mizar; PVS; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Category theory; homological algebra (18-XX)
Satallax Software Authors: Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller Cited in: 62 Publications (2010–2022) Related Software: TPTP; Isabelle/HOL; LEO-II; E Theorem Prover; VAMPIRE; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
MPTP 0.2 Software Authors: Urban, Josef Cited in: 51 Publications (2006–2021) Related Software: Mizar; E Theorem Prover; VAMPIRE; TPTP; MaLARea; Isabelle/HOL; … Main Fields: 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)
MaLARea Software Authors: Urban, Josef Cited in: 49 Publications (2007–2021) Related Software: E Theorem Prover; Mizar; VAMPIRE; TPTP; MPTP 0.2; MaLeCoP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
Ivy Software Authors: William McCune; Olga Shumsky Cited in: 39 Publications (2000–2021) Related Software: TPTP; ACL2; z3; Ivy; SPASS; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
Gandalf Software Authors: Tanel Tammet Cited in: 35 Publications (1996–2018) Related Software: TPTP; Isabelle/HOL; Coq; VAMPIRE; HOL Light; Metis_; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
GEX Software Authors: Gao, X.-S., et al. Cited in: 30 Publications (1996–2020) Related Software: GeoGebra; JGEX; GeoProof; GEOTHER 1.1; GeoThms; GCLC; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)
HR Software Authors: Colton, Simon Cited in: 27 Publications (2002–2022) Related Software: Mace4; OTTER; GRAFFITI; TPTP; AutoGraphiX; GAP; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)
ILTP Software Authors: Thomas Raths; Jens Otten Cited in: 29 Publications (2005–2021) Related Software: TPTP; ileanCoP; Imogen; leanCoP; fCube; E Theorem Prover; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HOLyHammer Software Authors: Kaliszyk, Cezary; Urban, Josef Cited in: 28 Publications (2014–2022) Related Software: HOL Light; Mizar; Flyspeck; Isabelle/HOL; VAMPIRE; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)
GeoThms Software Authors: Quaresma, Pedro; Predrag Janičić Cited in: 24 Publications (2006–2020) Related Software: GCLCprover; GCLC; GeoGebra; GEX; GEOTHER 1.1; GeoProof; … Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)
MPTP Software Authors: Urban, Josef Cited in: 26 Publications (2003–2021) Related Software: Mizar; E Theorem Prover; MaLARea; VAMPIRE; MPTP 0.2; MML; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Mathpert Software Authors: Michael J. Beeson Cited in: 14 Publications (1989–2019) Related Software: Haskell; ActiveMath; MathXpert; Aplusix; Aplusix-editor; Mathematica; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mathematics education (97-XX)
E-Darvin Software Authors: Baumgartner, Peter; Pelzer, Björn; Tinelli, Cesare; Alexander Fuchs; Hans de Nivelle Cited in: 19 Publications (2006–2021) Related Software: Darwin; Mace4; E Theorem Prover; TPTP; iProver; OTTER; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
dedukti Software Authors: Mathieu Boespflug, Ronan Saillard, François Thiré, Gaspard Férey Cited in: 17 Publications (2012–2021) Related Software: Coq; Zenon; TPTP; HOL Light; FoCaLiZe; PVS; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)
ModLeanTAP Software Authors: Beckert, Bernhard; Goré, Rajeev Cited in: 19 Publications (1998–2019) Related Software: leanTAP; MSPASS; KLMLean; CondLean; Coq; SETHEO; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Leo-III Software Authors: Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph Cited in: 18 Publications (2015–2022) Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; SPASS; Sledgehammer; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-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)
DeepMath Software Authors: Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban Cited in: 13 Publications (2017–2021) Related Software: Mizar; E Theorem Prover; VAMPIRE; ENIGMA; MPTP 0.2; Coq; … Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)
MMP/Geometer Software Authors: Gao, Xiao-Shan; Lin, Qiang Cited in: 14 Publications (2004–2021) Related Software: GEX; GEOTHER 1.1; GCLC; GeoView; GeoThms; Cinderella; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)
Sparkle Software Authors: de Mol, Maarten; van Eekelen, Marko; Plasmeijer, Rinus Cited in: 12 Publications (2002–2013) Related Software: CLEAN; Haskell; Coq; EditorArrow; PVS; Isabelle/HOL; … Main Fields: Computer science (68-XX)
EQP Software Authors: McCune, William Cited in: 13 Publications (1997–2022) Related Software: OTTER; DISCOUNT; Waldmeister; TPTP; Peers-mcd; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)
TGTP Software Authors: Pedro Quaresma Cited in: 13 Publications (2011–2021) Related Software: GeoGebra; Intergeo; GeoThms; GCLCprover; GCLC; GATP; … Main Fields: General and overarching topics; collections (00-XX); Geometry (51-XX); Computer science (68-XX)
QMLTP Software Authors: Raths, Thomas; Otten, Jens Cited in: 12 Publications (2012–2022) Related Software: TPTP; MleanCoP; MSPASS; Isabelle/HOL; ileanCoP; leanCoP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Zeno Software Authors: Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan Cited in: 12 Publications (2012–2021) Related Software: SMT-LIB; HipSpec; CVC4; VAMPIRE; Dafny; ACL2; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
gcl Software Authors: Janičić, Predrag Cited in: 9 Publications (2010–2020) Related Software: GCLC; GeoGebra; GEX; GeoProof; GeoThms; OpenGeoProver; … 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)
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: Numerical analysis (65-XX); Computer science (68-XX)
Zap Software Authors: Thomas Ball, Shuvendu Lahiri, and Madanlal Musuvathi Cited in: 6 Publications (2005–2008) Related Software: ESC/Java; SIMPLIFY; Spec#; Chaff; SMT-LIB; MiniSat; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
CITP Software Authors: Găină, Daniel; Zhang, Min; Chiba, Yuki; Arimoto, Yasuhito Cited in: 7 Publications (2013–2020) Related Software: Maude; CafeOBJ; CIRC; CASL; OBJ3; ASF+SDF; … Main Fields: Computer science (68-XX)
Consit Software Authors: Danicic, S.; Fox, C.; Harman, M.; Hierons, R. Cited in: 5 Publications (2005–2010) Related Software: ASTREE; CSSV; TVLA; Bogart; FermaT; CodeSurfer Main Fields: Computer science (68-XX)
Roo Software Authors: Lusk, E.L., McCune, W., Slaney, J.K. Cited in: 6 Publications (1991–2014) Related Software: SETHEO; OTTER; Aquarius; METEOR; PARTHENON; SPASS; … 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)
BliStrTune Software Authors: Jan Jakubuv, Josef Urban Cited in: 5 Publications (2017–2021) Related Software: E Theorem Prover; VAMPIRE; MPTP 0.2; E-MaLeS; Isabelle/HOL; BliStr; … Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
FOL Fitting Software Authors: Stefan Berghofer; Andreas Halkjær From Cited in: 6 Publications (2014–2021) Related Software: Isabelle/HOL; Archive Formal Proofs; Completeness theorem; HOL; Sledgehammer; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HERBY Software Authors: Newborn, Monty Cited in: 5 Publications (1998–2004) Related Software: OTTER; TPTP; TGTP; SETHEO; Gandalf; MARTE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
WinGCLC Software Authors: Predrag Janicic; coauthors Cited in: 5 Publications (2006–2011) Related Software: GeoThms; GCLCprover; Eukleides; GCLC; GeoView; Xeukleides; … Main Fields: Geometry (51-XX); Differential geometry (53-XX); Computer science (68-XX)
ArgoTriCS Software Authors: Marinkovic, V. Cited in: 5 Publications (2016–2021) Related Software: GCLC; GeoGebra; GeoThms; GCLCprover; TGTP; gcl; … Main Fields: Geometry (51-XX); Computer science (68-XX); Mathematics education (97-XX)
ASASP Software Authors: Alberti, Francesco; Armando, Alessandro; Ranise, Silvio Cited in: 4 Publications (2012–2020) Related Software: Mcmt; VERIFAS; Booster; SAFARI; Cubicle; Yices; … 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)
EPGY Software Authors: Richard Sommer; Gregory Nuckols Cited in: 3 Publications (2001–2020) Related Software: LPL software; REDUCE; OTTER; Isabelle/HOL; Markdown; webLurch; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
Joogie Software Authors: Arlt, S., Rümmer, P., Schäf, M. Cited in: 4 Publications (2013–2022) Related Software: Frama-C; Viper; Crust; z3; SMACK; VCC; … Main Fields: 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)
SMTtoTPTP Software Authors: Baumgartner, P. Cited in: 5 Publications (2015–2017) Related Software: TPTP; SMT-LIB; z3; ileanCoP; QBFEVAL; IDV; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
embed_modal Software Authors: Gleißner, Tobias; Steen, Alexander; Benzmüller, Christoph Cited in: 4 Publications (2017–2021) Related Software: Isabelle/HOL; Nitpick; Satallax; MleanCoP; Leo-III; LeoPARD; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FOOL Software Authors: Kotelnikov, Evgenii; Kov'acs, Laura; Voronkov, Andrei Cited in: 4 Publications (2015–2021) Related Software: TPTP; Sledgehammer; SMT-LIB; TLAPS; Satallax; ileanCoP; … Main Fields: Computer science (68-XX)
LogiKEy Software Authors: Christoph Benzmüller, Xavier Parent, Leendert van der Torre Cited in: 4 Publications (2020–2022) Related Software: Isabelle/HOL; PLM; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SNARK Software Authors: Stickel, M. Cited in: 3 Publications (2009–2015) Related Software: Waldmeister; E Theorem Prover; Mizar; Vivid; Mathematica; EQP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Relativity and gravitational theory (83-XX)
FACTum Software Authors: Marmsoler, Diego; Gidey, Habtom Kashay Cited in: 3 Publications (2019–2021) Related Software: Klocwork; Java-MOP; ConQAT; Reo; Architectural_Design_Patterns; Dynamic Architectures; … Main Fields: Computer science (68-XX)
GeoText Software Authors: Xiaoyu Chen Cited in: 2 Publications (2013–2014) Related Software: GEOTHER 1.1; TGTP; Intergeo; GeoGebra; arXMLiv; Electronic Geometry Textbook; … Main Fields: Computer science (68-XX)
ILLTP Software Authors: Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle Cited in: 3 Publications (2019–2021) Related Software: Lolli; z3; DeepProbLog; OEIS; Haskell; Sympli; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
lazyCoP Software Authors: Rawson, Michael; Reger, Giles Cited in: 3 Publications (2021) Related Software: E Theorem Prover; TPTP; HOList; ENIGMA; FEMaLeCoP; VAMPIRE; … Main Fields: Computer science (68-XX)
ESC4 Software Authors: James, Perry R.; Chalin, Patrice Cited in: 2 Publications (2010–2011) Related Software: Boogie; ESC/Java; OTTER; VACID-0; E Theorem Prover; VCC; … Main Fields: Computer science (68-XX)
GROVER Software Authors: Barker-Plummer, Dave; Bailin, Sidney C. Cited in: 2 Publications (2002–2009) Related Software: Vivid; Hyperproof; Dr.Doodle; CafePie; CafeOBJ Main Fields: Computer science (68-XX)
HOARD ATINF Software Authors: Caferra, Ricardo; Peltier, Nicolas; Puitg, François Cited in: 2 Publications (2001–2012) Related Software: JGEX; GEX; DISCOVERER; GeoThms; GCLCprover; GeoProof; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
HolBA Software Authors: Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads Cited in: 2 Publications (2020–2022) Related Software: Isabelle/HOL; CIRC; CPAchecker; SeaHorn; GNATprove; RGITL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Holophrasm Software Authors: Daniel Whalen Cited in: 2 Publications (2017–2021) Related Software: FEMaLeCoP; TPTP; HOL; ENIGMA; DeepMath; kepler98; … Main Fields: Computer science (68-XX)
Octopus Software Authors: Newborn, Monty; Wang, Zongyan Cited in: 2 Publications (2004–2009) Related Software: OTTER; TPTP; TPS; IDV; SRASS; SNARK; … Main Fields: Computer science (68-XX)
Ordered_Resolution_Prover Software Authors: Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel; Uwe Waldmann Cited in: 2 Publications (2001–2020) Related Software: AVATAR; Robinson arithmetic; Saturation_Framework; Nested Multisets; Logtk; Archive Formal Proofs; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Pecan Software Authors: Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi Cited in: 1 Publication (2023) Related Software: Walnut; OEIS; Python; Coq; Isabelle/HOL; Lean; … Main Fields: Number theory (11-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)
Slakje Software Authors: Ebner, Gabriel Cited in: 2 Publications (2019–2021) Related Software: GAPT; leanCoP; TPTP; ILTP; nanoCoP; MleanCoP; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SymProve3 Software Authors: Chen, Shengli; Chen, Liangyu Cited in: 2 Publications (2013–2017) Related Software: BOTTEMA; QEPCAD; Maple Main Fields: Geometry (51-XX); Computer science (68-XX)
WhyMP Software Authors: Melquiond, Guillaume; Rieu-Helft, Raphaël Cited in: 2 Publications (2020–2023) Related Software: Why3; HACL*; WhyML; Isabelle/HOL Main Fields: Computer science (68-XX)
CardKt Software Authors: Gore, Rajeev; Lan Duy Nguyen Cited in: 1 Publication (2001) Related Software: KtSeqC Main Fields: Computer science (68-XX)
DARR Software Authors: Lupea, Mihaiela Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)
EXPLORER Software Authors: Xia, Bican Cited in: 1 Publication (1998) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)
GK Software Authors: Tammet, Tanel; Draheim, Dirk; Järv, Priit Cited in: 1 Publication (2022) Related Software: DLV2; Clingo; GKC; ConceptNet Main Fields: Computer science (68-XX)
Goeland Software Authors: Cailler, Julie; Rosain, Johann; Delahaye, David; Robillard, Simon; Bouziane, Hinde Lilia Cited in: 1 Publication (2022) Related Software: DISCOUNT; TPTP Main Fields: 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)
Moat Software Authors: Sinha R, Rajamani SK, Seshia SA, Vaswani K Cited in: 1 Publication (2017) Related Software: Laminar; Merlin; SGX; Privtrans; F*; Fable; … Main Fields: Computer science (68-XX)
QuIt Software Authors: Gleiss, Bernhard; Kovács, Laura; Robillard, Simon Cited in: 1 Publication (2018) Related Software: VAMPIRE; InvGen; CVC4; z3; TPTP; SMT-LIB Main Fields: Computer science (68-XX)
Sofia Software Authors: Kovásznai, Gergely Cited in: 1 Publication (2005) Related Software: – Main Fields: Computer science (68-XX)
THEO Software Authors: Newborn, Monty Cited in: 1 Publication (2001) Related Software: HERBY; Gandalf; OTTER Main Fields: Computer science (68-XX)
TOrPEDO Software Authors: Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna; Spoletini, Paola Cited in: 1 Publication (2021) Related Software: GitHub; KEGG; LTSA-WS; UFO; z3; NuSMV; … Main Fields: Computer science (68-XX)
xpe Software Authors: Mouri, Motohiko Cited in: 1 Publication (2001) Related Software: – Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mathematics education (97-XX)
KeYmaeraD Software Authors: André Platzer, David Renshaw Cited in: 0 Publications Related Software: – Main Fields: –