×

Found 42 Software Packages (Results 1–42)

ETPS

Software Authors:   Peter Andrews, Matthew Bishop, Chad E. Brown, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
Cited 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)

Isar

Software Authors:   Makarius Wenzel
Cited 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.
Cited in: 75 Publications (1990–2022)
Related Software: TPTP; ETPS; HOL; PVS; LEO-II; Nuprl; …
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: 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)

Abella

Software Authors:   Andrew Gacek
Cited in: 50 Publications (2008–2022)
Related Software: Twelf; Beluga; Coq; Isabelle/HOL; Bedwyr; PoplMark; …
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: 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)

CLAM

Software Authors:   Bundy, A., van Harmelen, F., Horn, C.
Cited in: 39 Publications (1989–2021)
Related Software: Oyster; Nuprl; HOL; Isabelle; InKa; Coq; …
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: 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)

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: 14 Publications (2013–2020)
Related Software: Coq; Idris; Agda; seL4; VeriML; Template-Coq; …
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: 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)

miz3

Software Authors:   Wiedijk, Freek
Cited in: 11 Publications (2012–2020)
Related Software: Coq; Mizar; Isar; 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: 9 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: Archive Formal Proofs; HOL; Isabelle/HOL; Isabelle; Coq; Root Balanced Tree; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-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)

SEPIA

Software Authors:   Gransden, T., Walkinshaw, N., Raman, R.
Cited 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)

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; Salsa; Maude; CADP; 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; OpenTheory; XIsabelle; …
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: 6 Publications (2014–2021)
Related Software: SPIN; KIV; Rodin; Line-up; Z; STeP; …
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 X; KeYmaera; 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; GAPT; TRAMP; 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; ENIGMA; MaLeCoP; VAMPIRE; MPTP 0.2; XGBoost; …
Main Fields: Mathematical logic and foundations (03-XX); 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:
Main Fields: Computer science (68-XX)

HOLCF

Software Authors:   Brian Huffman
Cited in: 3 Publications (2012–2017)
Related Software: Isabelle/HOL; Archive Formal Proofs; Stern-Brocot Tree; MiniAgda; AmiCo; Lifting; …
Main Fields: Computer science (68-XX)

IsaMorph

Software Authors:   B. Klemens; Achim D. Brucker
Cited in: 3 Publications (2009–2018)
Related Software: Apophenia; molsturm; CRYSCOR; SIMPL; reszeta.lib; PDEtools; …
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Autosubst

Software Authors:   S. Schäfer, T. Tebbi, G. Smolka
Cited in: 2 Publications (2015–2016)
Related Software: foetus; OCaml; Why3; Haskell; Coq; LNgen; …
Main Fields: Computer science (68-XX)

HOL88

Software Authors:   theoremprover-museum
Cited in: 2 Publications (1999–2001)
Related Software: HOL; PVS
Main Fields: 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: ProofPeer; Eisbach; Isabelle/ZF; Isar; dedukti; Coq
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

HolBA

Software Authors:   Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads
Cited in: 1 Publication (2020)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); 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: Waldmeister; Agda; Epigram; Nuprl; Proof General; Mizar; …
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)