×

Found 83 Software Packages (Results 1–83)

ML

Software Authors:   Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh
Referenced in: 484 Publications (1978–2021)
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
Referenced in: 388 Publications (1994–2021)
Related Software: VAMPIRE; E Theorem Prover; SPASS; Isabelle/HOL; OTTER; Mizar; …
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
Referenced in: 275 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; PVS; HOL; 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
Referenced in: 156 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
Referenced in: 155 Publications (1972–2022)
Related Software: Coq; ML; HOL; Isabelle; Nuprl; 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
Referenced in: 142 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)

TPS

Software Authors:   Andrews, Peter B.; Brown, Chad E.
Referenced in: 75 Publications (1990–2022)
Related Software: TPTP; ETPS; HOL; LEO-II; PVS; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Satallax

Software Authors:   Chad E. Brown; Andreas Teucke; Geoff Sutcliffe; Frank Theiß; Gert Smolka; Julian Backes; Chris Benzmüller
Referenced in: 57 Publications (2010–2022)
Related Software: TPTP; Isabelle/HOL; LEO-II; E Theorem Prover; Sledgehammer; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Lean

Software Authors:   Microsoft; de Moura, Leonardo; Kong, Soonho; Avigad, Jeremy; van Doorn, Floris; von Raumer, Jakob
Referenced in: 53 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)

MPTP 0.2

Software Authors:   Urban, Josef
Referenced 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
Referenced 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)

MaLARea

Software Authors:   Urban, Josef
Referenced 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)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Referenced in: 47 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)

Ivy

Software Authors:   William McCune; Olga Shumsky
Referenced 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
Referenced 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.
Referenced 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
Referenced in: 26 Publications (2002–2019)
Related Software: GRAFFITI; OTTER; Mace4; 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
Referenced in: 28 Publications (2005–2021)
Related Software: TPTP; Imogen; ileanCoP; fCube; leanCoP; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GeoThms

Software Authors:   Quaresma, Pedro; Predrag Janičić
Referenced 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)

HOLyHammer

Software Authors:   Kaliszyk, Cezary; Urban, Josef
Referenced 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)

MPTP

Software Authors:   Urban, Josef
Referenced 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
Referenced 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
Referenced 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
Referenced in: 17 Publications (2012–2021)
Related Software: Coq; Zenon; FoCaLiZe; PVS; HOL Light; TPTP; …
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
Referenced in: 19 Publications (1998–2019)
Related Software: leanTAP; KLMLean; Coq; MSPASS; CondLean; SETHEO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MizarMode

Software Authors:   Urban, Josef
Referenced 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)

Leo-III

Software Authors:   Steen, Alexander; Wisniewski, Max; Benzmüller, Christoph
Referenced in: 16 Publications (2015–2021)
Related Software: Satallax; TPTP; Isabelle/HOL; E Theorem Prover; Sledgehammer; VAMPIRE; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

MMP/Geometer

Software Authors:   Gao, Xiao-Shan; Lin, Qiang
Referenced 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
Referenced in: 12 Publications (2002–2013)
Related Software: CLEAN; Haskell; Coq; EditorArrow; PVS; Isabelle/HOL; …
Main Fields: Computer science (68-XX)

DeepMath

Software Authors:   Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban
Referenced in: 12 Publications (2017–2021)
Related Software: Mizar; E Theorem Prover; VAMPIRE; MPTP 0.2; Coq; ENIGMA; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Computer science (68-XX)

TGTP

Software Authors:   Pedro Quaresma
Referenced 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)

EQP

Software Authors:   McCune, William
Referenced in: 12 Publications (1997–2016)
Related Software: OTTER; Waldmeister; TPTP; Peers-mcd; SPASS; SETHEO; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Zeno

Software Authors:   Sonnex, William; Drossopoulou, Sophia; Eisenbach, Susan
Referenced 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)

QMLTP

Software Authors:   Raths, Thomas; Otten, Jens
Referenced in: 11 Publications (2012–2021)
Related Software: TPTP; MleanCoP; MSPASS; Isabelle/HOL; ileanCoP; leanCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

gcl

Software Authors:   Janičić, Predrag
Referenced in: 9 Publications (2010–2020)
Related Software: GCLC; GEX; GeoGebra; 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
Referenced 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)

Zap

Software Authors:   Thomas Ball, Shuvendu Lahiri, and Madanlal Musuvathi
Referenced 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
Referenced 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.
Referenced 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.
Referenced 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.
Referenced in: 7 Publications (2015–2021)
Related Software: Coq; E Theorem Prover; ML4PG; FEMaLeCoP; Flyspeck; MaLeCoP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BliStrTune

Software Authors:   Jan Jakubuv, Josef Urban
Referenced 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
Referenced in: 6 Publications (2014–2021)
Related Software: Archive Formal Proofs; Completeness theorem; Isabelle/HOL; HOL; Sledgehammer; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HERBY

Software Authors:   Newborn, Monty
Referenced in: 5 Publications (1998–2004)
Related Software: TPTP; OTTER; TGTP; SETHEO; Gandalf; MARTE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

WinGCLC

Software Authors:   Predrag Janicic; coauthors
Referenced 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.
Referenced in: 5 Publications (2016–2021)
Related Software: GCLC; GeoThms; GCLCprover; GeoGebra; TGTP; gcl; …
Main Fields: Geometry (51-XX); Computer science (68-XX); Mathematics education (97-XX)

ASASP

Software Authors:   Alberti, Francesco; Armando, Alessandro; Ranise, Silvio
Referenced 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é
Referenced in: 5 Publications (2017–2022)
Related Software: KeYmaera X; KeYmaera; 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
Referenced 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)

Psyche

Software Authors:   Graham-Lengrand, Stéphane
Referenced 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.
Referenced in: 5 Publications (2015–2017)
Related Software: TPTP; SMT-LIB; z3; QBFEVAL; IDV; FOOL; …
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
Referenced in: 4 Publications (2017–2021)
Related Software: Isabelle/HOL; Nitpick; MleanCoP; Leo-III; LeoPARD; QMLTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FOOL

Software Authors:   Kotelnikov, Evgenii; Kov'acs, Laura; Voronkov, Andrei
Referenced in: 4 Publications (2015–2021)
Related Software: TPTP; Sledgehammer; SMT-LIB; TLAPS; Satallax; QBFEVAL; …
Main Fields: Computer science (68-XX)

Joogie

Software Authors:   Arlt, S., Rümmer, P., Schäf, M.
Referenced in: 3 Publications (2013–2020)
Related Software: CIVL; Cascade; Crust; Pyston; Rust2Viper; GraVy; …
Main Fields: Computer science (68-XX)

LogiKEy

Software Authors:   Christoph Benzmüller, Xavier Parent, Leendert van der Torre
Referenced in: 0 Publications
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.
Referenced 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
Referenced in: 3 Publications (2019–2021)
Related Software: Klocwork; Java-MOP; ConQAT; Architectural_Design_Patterns; Dynamic Architectures; Archive Formal Proofs; …
Main Fields: Computer science (68-XX)

GeoText

Software Authors:   Xiaoyu Chen
Referenced 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
Referenced in: 3 Publications (2019–2021)
Related Software: Lolli; Sympli; llprover; linTAP; QMLTP; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ESC4

Software Authors:   James, Perry R.; Chalin, Patrice
Referenced 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.
Referenced in: 2 Publications (2002–2009)
Related Software: Hyperproof; Dr.Doodle; CafePie; CafeOBJ; Vivid
Main Fields: Computer science (68-XX)

HOARD ATINF

Software Authors:   Caferra, Ricardo; Peltier, Nicolas; Puitg, François
Referenced 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)

Holophrasm

Software Authors:   Daniel Whalen
Referenced in: 2 Publications (2017–2021)
Related Software: FEMaLeCoP; TPTP; ENIGMA; DeepMath; kepler98; nanoCoP; …
Main Fields: Computer science (68-XX)

Octopus

Software Authors:   Newborn, Monty; Wang, Zongyan
Referenced in: 2 Publications (2004–2009)
Related Software: TPTP; OTTER; IDV; SRASS; SNARK; Waldmeister; …
Main Fields: Computer science (68-XX)

Ordered_Resolution_Prover

Software Authors:   Anders Schlichtkrull; Jasmin Christian Blanchette; Dmitriy Traytel; Uwe Waldmann
Referenced in: 2 Publications (2001–2020)
Related Software: Robinson arithmetic; Saturation_Framework; Nested Multisets; AVATAR; Logtk; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Proof Pad

Software Authors:   Caleb Eggensperger
Referenced 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
Referenced 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
Referenced 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
Referenced in: 1 Publication (2020)
Related Software: HACL*; Why3; WhyML; Isabelle/HOL
Main Fields: Computer science (68-XX)

CardKt

Software Authors:   Gore, Rajeev; Lan Duy Nguyen
Referenced in: 1 Publication (2001)
Related Software: KtSeqC
Main Fields: Computer science (68-XX)

DARR

Software Authors:   Lupea, Mihaiela
Referenced in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

EXPLORER

Software Authors:   Xia, Bican
Referenced in: 1 Publication (1998)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

HolBA

Software Authors:   Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads
Referenced in: 1 Publication (2020)
Related Software: TrABin; Cloc; BoogiePL; ARMor; seL4; CakeML; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Mella

Software Authors:   Armstrong, Alasdair; Foster, Simon; Struth, Georg
Referenced in: 1 Publication (2012)
Related Software: Waldmeister; Agda; Epigram; Nuprl; Proof General; Mizar; …
Main Fields: Computer science (68-XX)

Moat

Software Authors:   Sinha R, Rajamani SK, Seshia SA, Vaswani K
Referenced in: 1 Publication (2017)
Related Software: F*; Fable; EROS; VC3; Laminar; Merlin; …
Main Fields: Computer science (68-XX)

Pecan

Software Authors:   Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi
Referenced in: 0 Publications
Related Software: Python; Coq; Isabelle/HOL; Lean; SPIN; Walnut
Main Fields:

QuIt

Software Authors:   Gleiss, Bernhard; Kovács, Laura; Robillard, Simon
Referenced 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
Referenced in: 1 Publication (2005)
Related Software:
Main Fields: Computer science (68-XX)

THEO

Software Authors:   Newborn, Monty
Referenced 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
Referenced in: 1 Publication (2021)
Related Software: GitHub; KEGG; LTSA-WS; UFO; z3; NuSMV; …
Main Fields: Computer science (68-XX)

xpe

Software Authors:   Mouri, Motohiko
Referenced 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
Referenced in: 0 Publications
Related Software:
Main Fields:

OSHL

Software Authors:   Hao Xu
Referenced in: 0 Publications
Related Software:
Main Fields: