×

Found 34 Software Packages (Results 1–34)

Automath

Software Authors:   N. G. de Bruijn; Wiedijk, Freek; Kamareddine, Fairouz; Laan, Twan; Nederpelt, Rob
Cited in: 424 Publications (1970–2022)
Related Software: Coq; Nuprl; ML; Isabelle; Mizar; LEGO; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Agda

Software Authors:   Ulf Norell
Cited in: 210 Publications (1999–2022)
Related Software: Coq; Haskell; Isabelle/HOL; HOL Light; Nuprl; Idris; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Isar

Software Authors:   Makarius Wenzel
Cited in: 144 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.
Cited in: 144 Publications (2010–2022)
Related Software: Isabelle/HOL; Isabelle; z3; Coq; VAMPIRE; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX)

Proof General

Software Authors:   Aspinall, David
Cited in: 52 Publications (2000–2020)
Related Software: Coq; Isabelle; Isabelle/HOL; Mizar; Isar; Isabelle/jEdit; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Partial differential equations (35-XX)

CoLoR

Software Authors:   F. Blanqui, W. Delobel, S. Coupet-Grimal, S. Hinderer, A. Koprowski
Cited in: 39 Publications (2006–2022)
Related Software: Coq; Isabelle/HOL; CeTA; AProVE; CiME; Tyrolean; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-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)

Jakarta

Software Authors:   Daniela Junho de Andrade, Simão Melo de Sousa
Cited in: 17 Publications (2001–2014)
Related Software: Coq; OCaml; LETOS; A3PAT; SCC; ITP; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Geophysics (86-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)

Coquelicot

Software Authors:   Boldo, Sylvie; Lelay, Catherine; Melquiond, Guillaume
Cited in: 15 Publications (2015–2022)
Related Software: Coq; Isabelle/HOL; Lean; PVS; kepler98; C-CoRN; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic geometry (14-XX); Ordinary differential equations (34-XX)

Isabelle/PIDE

Software Authors:   Makarius Wenzel; Burkhart Wolff
Cited 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)

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)

MiniAgda

Software Authors:   Abel, A.
Cited in: 10 Publications (2011–2021)
Related Software: Coq; Agda; GitHub; Paco; Isabelle; ML; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

TacticToe

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

Cubical agda

Software Authors:   Vezzosi, Andrea; Mörtberg, Anders; Abel, Andreas
Cited in: 9 Publications (2021–2022)
Related Software: cubicaltt; GitHub; RedPRL; Coq; MetaPRL; LEGO; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

CFML

Software Authors:   Charguéraud, Arthur
Cited in: 7 Publications (2010–2015)
Related Software: Coq; ML; HOL; Haskell; Milawa; Smallfoot; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VeriML

Software Authors:   Stampoulis, Antonis; Shao, Zhong
Cited in: 8 Publications (2010–2016)
Related Software: Coq; seL4; Mtac; Delphin; ML; Haskell; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Speedith

Software Authors:   Urbas, M., Jamnik, M., Stapleton, G., Flower, J.
Cited in: 5 Publications (2012–2019)
Related Software: Openproof; Diabelli; Dr.Doodle; MaSh; Hets; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Convex and discrete geometry (52-XX)

AmiCo

Software Authors:   Blanchette, Jasmin Christian; Bouzy, Aymeric; Lochbihler, Andreas; Popescu, Andrei; Traytel, Dmitriy
Cited 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)

Galculator

Software Authors:   Silva, P. F.; Oliveira, J. N.
Cited in: 5 Publications (2009–2019)
Related Software: Fiat; Verasco; ASTREE; AoPA; Agda; Z; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

Kami

Software Authors:   Choi, J., Vijayaraghavan, M., Sherman, B., Chlipala, A., Arvind
Cited in: 4 Publications (2018–2021)
Related Software: Coq; GitHub; Coquet; Haskell; FreeSpec; operational; …
Main Fields: Computer science (68-XX)

Lem

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

MetaCoq

Software Authors:   Sozeau, Matthieu; Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Forster, Yannick; Kunze, Fabian; Malecha, Gregory; Tabareau, Nicolas; Winterhalter, Théo
Cited in: 4 Publications (2020–2022)
Related Software: Coq; CertiCoq; Template-Coq; Idris; CompCert; CakeML; …
Main Fields: Computer science (68-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)

Plat-Omega

Software Authors:   Wagner, Marc; Autexier, Serge; Benzmüller, Christoph
Cited in: 3 Publications (2007–2019)
Related Software: OMDoc; MMTTeX; LaTeX; Mizar; Isabelle; Multi; …
Main Fields: Computer science (68-XX)

MMTTeX

Software Authors:   Rabe, Florian
Cited in: 2 Publications (2019)
Related Software: Isabelle; LaTeX; Plat-Omega; Mizar; Isabelle/PIDE; MMT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

ProofWeb

Software Authors:   Kaliszyk, C., van Raamsdonk, F., Wiedijk, F., Wupper, H., Hendriks, M., de Vrijer, R.
Cited in: 2 Publications (2009–2010)
Related Software: Isabelle/Isar; Coq; Matita; Proviola; Mizar; Isar; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SAEPTUM

Software Authors:   Mauricio Ayala-Rincón; Thomas M. Sant'Ana
Cited in: 2 Publications (2009–2010)
Related Software: RRL; FELIX; CoLoR; NQTHM; PVS; Isabelle/HOL; …
Main Fields: Computer science (68-XX)

DeepSEA

Software Authors:   Sjöberg, V., Sang, Y., Weng, S.c., Shao, Z.
Cited in: 1 Publication (2021)
Related Software: VerX; solc-verify
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

ekstrakto

Software Authors:   Mohamed Yacine El Haddad, Guillaume Burel, Frédéric Blanqui
Cited in: 0 Publications
Related Software: ArchSAT; Zipperposition; E Theorem Prover; Zenon; TPTP; dedukti
Main Fields:

Lowe_Ontological_Argument

Software Authors:   David Fuenmayor; Christoph Benzmüller
Cited in: 1 Publication (2019)
Related Software: Archive Formal Proofs; embed_modal; Isabelle/HOL; Nitpick
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)

ProofViz

Software Authors:   Melcer, Daniel; Chang, Stephen
Cited in: 1 Publication (2021)
Related Software: HACL*; LOUI; PVS
Main Fields: Computer science (68-XX)

Slicing

Software Authors:   Daniel Wasserrab
Cited in: 1 Publication (2008)
Related Software: Isabelle/Isar; Isabelle/HOL; Isabelle
Main Fields: Computer science (68-XX)