×

Found 148 Software Packages (Results 1–100)

Isabelle/HOL

Software Authors:   Naraschewski, Wolfgang; Nipkow, Tobias
Referenced in: 972 Publications (1996–2023)
Related Software: Isabelle; Coq; HOL; Archive Formal Proofs; PVS; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

HOL

Software Authors:   Gordon, Michael J. C.
Referenced in: 575 Publications (1985–2022)
Related Software: Isabelle; Isabelle/HOL; ML; Coq; HOL Light; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

HOL Light

Software Authors:   Harrison, John
Referenced in: 305 Publications (1998–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-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: 143 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)

Sledgehammer

Software Authors:   Sultana, Nik; Blanchette, Jasmin Christian; Paulson, Lawrence C.
Referenced in: 144 Publications (2010–2022)
Related Software: Isabelle/HOL; Isabelle; z3; Coq; Archive Formal Proofs; TPTP; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

Flyspeck

Software Authors:   Hales, Thomas C.; Tankink, Carst; Kaliszyk, Cezary; Urban, Josef; Geuvers, Herman
Referenced in: 122 Publications (2004–2022)
Related Software: HOL Light; Isabelle/HOL; Coq; kepler98; Mizar; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Convex and discrete geometry (52-XX)

Nominal Isabelle

Software Authors:   Urban, Christian; Kaliszyk, Cezary
Referenced in: 77 Publications (2005–2022)
Related Software: Isabelle/HOL; PoplMark; Isabelle; Coq; Twelf; Abella; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Jordan

Software Authors:   Thomas C. Hales
Referenced in: 64 Publications (2007–2022)
Related Software: HOL Light; kepler98; Maple; Mizar; Flyspeck; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Commutative algebra (13-XX)

Nitpick

Software Authors:   Blanchette, Jasmin Christian; Nipkow, Tobias
Referenced in: 64 Publications (1999–2022)
Related Software: Isabelle/HOL; Sledgehammer; Isabelle; Coq; TPTP; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

ProofPower

Software Authors:   Roger Jones; Arthan, R.D.; Dave King; Lemma 1 Ltd
Referenced in: 52 Publications (2001–2020)
Related Software: Circus; Z; HOL; Isabelle/HOL; HOL Light; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Real functions (26-XX)

CVC Lite

Software Authors:   Mclaughlin, Sean; Barrett, Clark; Ge, Yeting
Referenced in: 51 Publications (2004–2020)
Related Software: HOL Light; Chaff; CVC; SMT-LIB; z3; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CeTA

Software Authors:   Thiemann, René; Sternagel, Christian
Referenced in: 45 Publications (2009–2021)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; CoLoR; AProVE; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Commutative algebra (13-XX)

Isabelle/jEdit

Software Authors:   Wenzel, Makarius
Referenced in: 34 Publications (2011–2022)
Related Software: Isabelle; Isabelle/HOL; Coq; PIDE; Proof General; Archive Formal Proofs; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Ott

Software Authors:   Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok
Referenced in: 33 Publications (2007–2021)
Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; PoplMark; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Lifting

Software Authors:   Brian Huffman, Ondřej Kunčar
Referenced in: 30 Publications (2013–2022)
Related Software: Transfer; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Transfer

Software Authors:   Brian Huffman, Ondřej Kunčar
Referenced in: 30 Publications (2013–2022)
Related Software: Lifting; Isabelle/HOL; Archive Formal Proofs; Isabelle; HOL; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-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)

CCSL

Software Authors:   Jan Rothe, Bart Jacobs, and Hendrik Tews
Referenced in: 24 Publications (2001–2015)
Related Software: PVS; CoCasl; CASL; Haskell; OCaml; GenCCSL; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-XX)

MaSh

Software Authors:   Daniel Kühlwein; Jasmin Christian Blanchette; Cezary Kaliszyk; Josef Urban
Referenced in: 25 Publications (2001–2021)
Related Software: Flyspeck; E Theorem Prover; VAMPIRE; MaLARea; Sledgehammer; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

HOL/SPIN

Software Authors:   Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor
Referenced in: 22 Publications (2000–2017)
Related Software: SPIN; Uppaal; AODV; LOTOS; Rodin; Timed Rebeca; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

HOL-OCL

Software Authors:   Brucker, Achim D.; Wolff, Burkhart
Referenced in: 13 Publications (2002–2016)
Related Software: ATL; KeY; ETPS; Maude; UML2Alloy; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CSP-prover

Software Authors:   Isobe, Yoshinao; Roggenbach, Markus
Referenced in: 17 Publications (2005–2022)
Related Software: PVS; Isabelle/HOL; FDR2; Z; CASL; PAT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Isabelle/UTP

Software Authors:   Foster, Simon; Zeyda, Frank; Woodcock, Jim
Referenced in: 17 Publications (2015–2021)
Related Software: Circus; Z; Isabelle/HOL; Archive Formal Proofs; Sledgehammer; Isabelle; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

OpenTheory

Software Authors:   Hurd, J.
Referenced in: 16 Publications (2012–2021)
Related Software: HOL Light; HOL; Isabelle/HOL; Isabelle; Coq; ProofPower; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

Autoref

Software Authors:   Lammich, Peter
Referenced in: 15 Publications (2013–2022)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Lifting; Transfer; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

HOL-Boogie

Software Authors:   Böhme, Sascha; Leino, K.Rustan M.; Wolff, Burkhart
Referenced in: 13 Publications (2008–2015)
Related Software: Isabelle/HOL; Boogie; Why3; z3; Caduceus; VCC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Isabelle/Circus

Software Authors:   Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
Referenced in: 12 Publications (2013–2017)
Related Software: Isabelle/HOL; ProofPower; Isabelle; Circus; Sledgehammer; Isabelle/UTP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Isabelle/PIDE

Software Authors:   Makarius Wenzel; Burkhart Wolff
Referenced in: 13 Publications (2012–2020)
Related Software: Coq; Isabelle; Isabelle/jEdit; Proof General; Isabelle/HOL; PIDE; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HOL Zero

Software Authors:   Adams, Mark
Referenced in: 11 Publications (2014–2020)
Related Software: HOL Light; HOL; Isabelle/HOL; ML; Isabelle; Coq; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX)

PIDE

Software Authors:   Wenzel, Makarius
Referenced in: 12 Publications (2012–2022)
Related Software: Isabelle/jEdit; Coq; Sledgehammer; Isabelle/HOL; Proof General; Isabelle/Isar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

PRocH

Software Authors:   Cezary Kaliszyk; Josef Urban
Referenced in: 12 Publications (2013–2018)
Related Software: HOL Light; Flyspeck; E Theorem Prover; Mizar; TPTP; z3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

HOL-Z

Software Authors:   Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart
Referenced in: 5 Publications (2005–2011)
Related Software: Z; HOL; Isabelle/HOL; Circus; csp2B; VPM; …
Main Fields: Computer science (68-XX)

miz3

Software Authors:   Wiedijk, Freek
Referenced 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)

HOL-TestGen

Software Authors:   Achim D. Brucker, Lukas Brügger, Abderrahmane Feliachi, Chantal Keller, Matthias P. Krieger, Delphine Longuet, Yakoub Nemouchi, Frédéric Tuong, Burkhart Wolff
Referenced in: 7 Publications (2007–2020)
Related Software: Isabelle/HOL; ETPS; Korat; UniTESK; margrave; FIREMAN; …
Main Fields: Computer science (68-XX)

TacticToe

Software Authors:   Gauthier, T., Kaliszyk, C., Urban, J.
Referenced in: 10 Publications (2017–2021)
Related Software: E Theorem Prover; MaLeCoP; FEMaLeCoP; HOL; Coq; ENIGMA; …
Main Fields: Computer science (68-XX)

Berlekamp Zassenhaus

Software Authors:   Jose Divasón, Sebastiaan Joosten, René Thiemann, Akihisa Yamada
Referenced in: 9 Publications (2017–2020)
Related Software: Isabelle/HOL; Isabelle; HOL; Coq; Archive Formal Proofs; Locales; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Field theory and polynomials (12-XX)

Gabow SCC

Software Authors:   Peter Lammich
Referenced in: 9 Publications (2014–2021)
Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Edmonds-Karp; Coq; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HOL-Omega

Software Authors:   Homeier, Peter V.
Referenced in: 9 Publications (2009–2019)
Related Software: HOL; Isabelle; Coq; Lifting; Transfer; HOL Light; …
Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)

Presburger Automata

Software Authors:   Berghofer, Stefan; Reiter, Markus
Referenced in: 9 Publications (2009–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Myhill-Nerode; Isabelle; HOL; MSO_Regex_Equivalence; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RALL

Software Authors:   David von Oheimb, Thomas F. Gritzner
Referenced 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
Referenced 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)

CryptHOL

Software Authors:   Basin, D., Lochbihler, A., Sefidgar, S.R.
Referenced in: 8 Publications (2017–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; EasyCrypt; Isabelle; Lifting; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Hipster

Software Authors:   Johansson, Moa; Rosén, Dan; Smallbone, Nicholas; Claessen, Koen
Referenced in: 8 Publications (2014–2021)
Related Software: HipSpec; Theorema; QuickCheck; CVC4; QuickSpec; Dafny; …
Main Fields: Computer science (68-XX)

Kleene Algebra

Software Authors:   Armstrong, A., Struth, G., Weber, T.
Referenced in: 8 Publications (2015–2022)
Related Software: Archive Formal Proofs; Isabelle/HOL; Sledgehammer; Relation Algebra; HOL; RelView; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

Separation Logic

Software Authors:   Peter Lammich; Rene Meis
Referenced in: 8 Publications (2015–2021)
Related Software: Isabelle/HOL; Isabelle; HOL; Dijkstra Shortest Path; Edmonds-Karp; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

TkWinHOL

Software Authors:   Långbacka, Thomas; Ruks̆ėnas, Rimvydas; von Wright, Joakim
Referenced in: 7 Publications (1995–2012)
Related Software: Isabelle; DiskPaxos; Tree Automata; Archive Formal Proofs; Collections; GUItar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Edmonds-Karp

Software Authors:   Lammich, Peter; Sefidgar, S. Reza
Referenced in: 7 Publications (2016–2021)
Related Software: Gabow SCC; Coq; Isabelle/HOL; Isabelle; Dijkstra Shortest Path; Separation Logic; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

GoedelGod

Software Authors:   Christoph Benzmüller; Bruno Woltzenlogel Paleo
Referenced in: 7 Publications (2015–2020)
Related Software: Isabelle/HOL; Coq; Archive Formal Proofs; Nitpick; Satallax; LEO-II; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AUTO2

Software Authors:   Zhan, Bohua
Referenced in: 6 Publications (2016–2019)
Related Software: Isabelle/HOL; Isabelle; Mizar; Auto2_Imperative_HOL; Separation Logic; IsarMathLib; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

IsaFoR

Software Authors:   Krauss, Alexander; Sternagel, Christian; Thiemann, René; Fuhs, Carsten; Giesl, Jürgen
Referenced in: 4 Publications (2011–2016)
Related Software: Isabelle/HOL; CeTA; CoLoR; Isabelle; Coq; Tyrolean; …
Main Fields: Computer science (68-XX)

lcpSim

Software Authors:   Sztrik, J.; Möller, O.
Referenced in: 6 Publications (2001–2011)
Related Software: MOSEL; GreatSPN 1.7; GreatSPN
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Refinement Monadic

Software Authors:   Peter Lammich
Referenced in: 6 Publications (2014–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; Isabelle; HOL; Collections; …
Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Tactician

Software Authors:   Adams, M.
Referenced in: 6 Publications (2013–2021)
Related Software: HOL Light; Coq; TacticToe; OpenTheory; HOL; IsaPlanner; …
Main Fields: Computer science (68-XX)

AmiCo

Software Authors:   Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy
Referenced in: 5 Publications (2017–2020)
Related Software: HOL; Isabelle/HOL; Lean; Agda; Coq; Archive Formal Proofs; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

FinFuns

Software Authors:   Lochbihler, Andreas
Referenced in: 5 Publications (2009–2017)
Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Nominal Isabelle; Jinja Threads; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

Stone Algebras

Software Authors:   Guttmann, Walter
Referenced in: 5 Publications (2017–2021)
Related Software: Sledgehammer; HOL; Isabelle/HOL; Isabelle; Kleene Algebra; Relation Algebra; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

AgsyHOL

Software Authors:   Lindblad, F.
Referenced in: 4 Publications (2013–2015)
Related Software: TPTP; Isabelle/HOL; Nitpick; Satallax; LEO-II; FMLtoHOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AODV

Software Authors:   Timothy Bourke; Peter Höfner
Referenced in: 4 Publications (2014–2016)
Related Software: HOL/SPIN; Isabelle/Circus; Isabelle/HOL; mCRL; wRebeca; ACTLW; …
Main Fields: Computer science (68-XX)

ARMor

Software Authors:   Zhao, L., Li, G., Sutter, B.D., Regehr, J.
Referenced in: 4 Publications (2013–2020)
Related Software: seL4; HOL; TrABin; HolBA; Cloc; BoogiePL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Collections

Software Authors:   Peter Lammich, Andreas Lochbihler, Thomas Tuerk
Referenced in: 4 Publications (2012–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; Refinement Monadic; Isabelle; Imperative Refinement; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Echelon Form

Software Authors:   Jose Divasón; Jesús Aransay
Referenced in: 4 Publications (2016–2019)
Related Software: HOL; Isabelle/HOL; Archive Formal Proofs; Gauss-Jordan; Cayley-Hamilton; kepler98; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX)

FMLtoHOL

Software Authors:   Benzmüller, Christoph; Raths, Thomas
Referenced in: 4 Publications (2013–2021)
Related Software: TPTP; Isabelle/HOL; Nitpick; QMLTP; Sledgehammer; Satallax; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HOL2P

Software Authors:   Völker, Norbert
Referenced in: 4 Publications (2007–2018)
Related Software: HOL Light; HOL; Coq; HOL Light QE; reFLect; Agda; …
Main Fields: Computer science (68-XX)

IMP++

Software Authors:   Brucker, Achim D.; Wolff, Burkhart
Referenced in: 4 Publications (2008–2013)
Related Software: ETPS; Isabelle/HOL; Boogie; Isar; Spec#; HOL-Boogie; …
Main Fields: Computer science (68-XX)

IsaFoL

Software Authors:   Blanchette, J.C., Fleury, M., Schlichtkrull, A., Traytel, D.
Referenced in: 4 Publications (2016–2018)
Related Software: Archive Formal Proofs; Isabelle/HOL; Completeness theorem; Sledgehammer; Isabelle; FOL Fitting; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Lambda Free RPOs

Software Authors:   Blanchette, Jasmin Christian; Waldmann, Uwe; Wand, Daniel
Referenced in: 4 Publications (2017–2021)
Related Software: Isabelle/HOL; Sledgehammer; Archive Formal Proofs; E Theorem Prover; Knuth Bendix Orders; CoLoR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Lem

Software Authors:   Mulligan, Dominic P.; Owens, Scott; Gray, Kathryn E.; Ridge, Tom; Sewell, Peter
Referenced in: 3 Publications (2011–2021)
Related Software: Isabelle/HOL; Coq; ACL2; HOL Light; HOL; Ott; …
Main Fields: Computer science (68-XX)

LogiKEy

Software Authors:   Christoph Benzmüller, Xavier Parent, Leendert van der Torre
Referenced 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)

Markov Models

Software Authors:   Johannes Hölzl; Tobias Nipkow
Referenced in: 4 Publications (2016–2017)
Related Software: Isabelle/HOL; pGCL; MRMC; HOL; CAVA LTL Modelchecker; Density Compiler; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

AutoCorres

Software Authors:   Trustworthy Systems Group
Referenced in: 2 Publications (2015–2017)
Related Software: LEDA; CAVA LTL Modelchecker; NASA PVS; Graph Theory; Tame Graphs; Dijkstra Shortest Path; …
Main Fields: Combinatorics (05-XX)

CoSMed

Software Authors:   Bauereiß, Thomas; Pesenti Gritti, Armando; Popescu, Andrei; Raimondi, Franco
Referenced in: 3 Publications (2016–2021)
Related Software: FlowFox; CAVA LTL Modelchecker; Ur/Web; Jif; seL4; CakeML; …
Main Fields: Computer science (68-XX)

Depth First Search

Software Authors:   Toshiaki Nishihara; Yasuhiko Minamide
Referenced in: 3 Publications (2008–2010)
Related Software: Archive Formal Proofs; Presburger Automata; HOL; Isabelle/HOL; ML; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Gauss-Jordan

Software Authors:   Jose Divasón; Jesús Aransay
Referenced in: 3 Publications (2014–2017)
Related Software: Isabelle/HOL; Isabelle; Autoref; Rank Nullity; Archive Formal Proofs; Cayley-Hamilton; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

HOL Light QE

Software Authors:   Carette, Jacques; Farmer, William M.; Laskowski, Patrick
Referenced in: 3 Publications (2018–2020)
Related Software: Coq; Idris; reFLect; Agda; Nuprl; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HOL-UNITY

Software Authors:   Flemming Andersen; Ulla Binau; Karsten Nyblad; Kim Dam Petersen; Jimmi S. Pettersson
Referenced in: 3 Publications (2000–2008)
Related Software: HOL; UNITY; Coq; Isabelle; Esterel; Quartz; …
Main Fields: Computer science (68-XX)

Hotel Key Card

Software Authors:   Nipkow, Tobias
Referenced in: 3 Publications (2006–2018)
Related Software: HOL; Nitpick; Isabelle/HOL; Finite Automata HF; Hereditarily Finite Sets; CAVA LTL Modelchecker; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Imperative Refinement

Software Authors:   Peter Lammich
Referenced in: 3 Publications (2018–2019)
Related Software: Archive Formal Proofs; Isabelle/HOL; Gabow SCC; CAVA LTL Modelchecker; Collections; Refinement Monadic; …
Main Fields: Computer science (68-XX)

Knuth Bendix Orders

Software Authors:   Heiko Becker; Jasmin Christian Blanchette; Uwe Waldmann; Daniel Wand
Referenced in: 3 Publications (2017–2018)
Related Software: Isar; Isabelle/HOL; Nested Multisets; Lambda Free RPOs; Archive Formal Proofs; Sledgehammer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Monomorphic Monad

Software Authors:   Andreas Lochbihler
Referenced in: 3 Publications (2017–2022)
Related Software: Lifting; Transfer; Isabelle/HOL; Locales; HOL; Cubical agda; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Nested Multisets

Software Authors:   Jasmin Christian Blanchette; Mathias Fleury; Dmitriy Traytel
Referenced in: 3 Publications (2017–2020)
Related Software: Isar; Isabelle/HOL; Archive Formal Proofs; Coq; Knuth Bendix Orders; Robinson arithmetic; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PLM

Software Authors:   Daniel Kirchner
Referenced in: 3 Publications (2020)
Related Software: Isabelle/HOL; LogiKEy; LegalRuleML; embed_modal; Leo-III; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

Regular_Algebras

Software Authors:   Simon Foster; Georg Struth
Referenced in: 3 Publications (2015–2016)
Related Software: Sledgehammer; Isabelle/HOL; TRAMP; Flyspeck; PRocH; E Theorem Prover; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Verified Prover

Software Authors:   Tom Ridge
Referenced in: 3 Publications (2009–2018)
Related Software: Archive Formal Proofs; Isabelle/HOL; FOL_Harrison; FOL Fitting; Superposition Calculus; Completeness theorem; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VeriPhy

Software Authors:   Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer
Referenced in: 3 Publications (2018–2021)
Related Software: KeYmaera; Coq; KeYmaera X; ModelPlex; Bellerophon; dReach; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Well Quasi Orders

Software Authors:   Christian Sternagel
Referenced in: 3 Publications (2011–2020)
Related Software: Archive Formal Proofs; CeTA; Isabelle/HOL; Decreasing Diagrams II; Isabelle; Open Induction; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Auto2_Imperative_HOL

Software Authors:   Bohua Zhan
Referenced in: 2 Publications (2018)
Related Software: Separation Logic; AUTO2; Isabelle/HOL; Isabelle; Dijkstra Shortest Path; Edmonds-Karp; …
Main Fields: Computer science (68-XX)

Cayley-Hamilton

Software Authors:   Stephan Adelsberger, Stefan Hetzl, Florian Pollak
Referenced in: 2 Publications (2016–2017)
Related Software: Archive Formal Proofs; Gauss-Jordan; Echelon Form; kepler98; Lifting; Transfer; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)

Certification_Monads

Software Authors:   Christian Sternagel; René Thiemann
Referenced in: 2 Publications (2015–2022)
Related Software: Archive Formal Proofs; Isabelle/HOL; Logoot; Wooki; woot-haskell; wootjs; …
Main Fields: Computer science (68-XX)

Cofinitary Group

Software Authors:   Bart Kastermans
Referenced in: 2 Publications (2009)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX)

Constructive Proof FLP

Software Authors:   Bisping, Benjamin; Brodmann, Paul-David; Jungnickel, Tim; Rickmann, Christina; Seidler, Henning; Stüber, Anke; Wilhelm-Weidner, Arno; Peters, Kirstin; Nestmann, Uwe
Referenced in: 2 Publications (2016–2018)
Related Software: Archive Formal Proofs; Chapar; Verdi; CVC4; z3; Locales; …
Main Fields: Computer science (68-XX)

CSimpl

Software Authors:   Sanán, D., Zhao, Y., Hou, Z., Zhang, F., Tiu, A., Liu, Y.
Referenced in: 2 Publications (2017)
Related Software: seL4; Isabelle/HOL; Locales; Smallfoot
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DiskPaxos

Software Authors:   Mauro Jaskelioff; Stephan Merz
Referenced in: 2 Publications (2006–2012)
Related Software: Isabelle/HOL; Tree Automata; Archive Formal Proofs; Collections; GUItar; FAdo; …
Main Fields: Computer science (68-XX)

FOL_Harrison

Software Authors:   Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
Referenced in: 2 Publications (2018)
Related Software: Verified Prover; Archive Formal Proofs; FOL Fitting; Superposition Calculus; Completeness theorem; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Haskabelle

Software Authors:   T. Rittweiler, F. Haftmann
Referenced in: 2 Publications (2011–2014)
Related Software: Isabelle/HOL; LaTeX; Lem; CakeML; HOL Light; OCaml; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Haskell Show Class

Software Authors:   Christian Sternagel; René Thiemann
Referenced in: 2 Publications (2015–2018)
Related Software: Archive Formal Proofs; Isabelle/HOL; Coq; Nominal2; CakeML_Codegen; Pilsner; …
Main Fields: Computer science (68-XX)

HOL88

Software Authors:   theoremprover-museum
Referenced in: 2 Publications (1999–2001)
Related Software: HOL; PVS
Main Fields: Computer science (68-XX)

IMP2_Binary_Heap

Software Authors:   Simon Griebel
Referenced in: 2 Publications (2008–2013)
Related Software: MCSTL; Concorde; COMET
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

Isabelle/DOF

Software Authors:   Brucker, Achim D.; Ait-Sadoune, Idir; Crisafulli, Paolo; Wolff, Burkhart
Referenced in: 2 Publications (2018–2021)
Related Software: Isabelle/HOL; Isabelle; Archive Formal Proofs; Isabelle/UTP; seL4; Z; …
Main Fields: Computer science (68-XX)