×

Found 40 Software Packages (Results 1–40)

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)

Matita

Software Authors:   Asperti, Andrea; Ricciotti, Wilmer; Sacerdoti Coen, Claudio; Tassi, Enrico
Cited in: 74 Publications (2007–2022)
Related Software: Coq; Mizar; Isabelle/HOL; Agda; Isabelle; Proof General; …
Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Real functions (26-XX)

Isabelle/UTP

Software Authors:   Foster, Simon; Zeyda, Frank; Woodcock, Jim
Cited 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)

Mtac

Software Authors:   Ziliani, Beta; Dreyer, Derek; Krishnaswami, Neelakantan R.; Nanevski, Aleksandar; Vafeiadis, Viktor
Cited in: 16 Publications (2013–2021)
Related Software: Coq; Agda; Idris; seL4; VeriML; HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

KeYmaera X

Software Authors:   Fulton, N., Mitsch, S., Quesel, J., Völp, M., Platzer, A.
Cited in: 15 Publications (2015–2022)
Related Software: KeYmaera; SpaceEx; Isabelle/HOL; Bellerophon; Coq; dReal; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

ArcAngel

Software Authors:   Oliveira, Marcel; Cavalcanti, Ana; Woodcock, Jim
Cited in: 11 Publications (2003–2019)
Related Software: Z; ProofPower; Circus; ClawZ; ZRC; ArcAngelC; …
Main Fields: Computer science (68-XX)

Fiat

Software Authors:   Delaware, B., Claudel, C.P., Gross, J., Chlipala, A.
Cited in: 14 Publications (2015–2019)
Related Software: Coq; Isabelle/HOL; Isabelle; CertiCoq; CakeML; OCaml; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

KIDS

Software Authors:   D.R. Smith
Cited in: 11 Publications (1992–2021)
Related Software: Theorema; ALISA; Maude; TAMPR; ATERM; ELAN; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-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)

Charge!

Software Authors:   Bengtson, Jesper; Jensen, Jonas Braband; Birkedal, Lars
Cited in: 10 Publications (2012–2021)
Related Software: Coq; Toolchain; VeriFast; HIP; VeriSmall; Frama-C; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

Eisbach

Software Authors:   Matichuk, Daniel; Wenzel, Makarius; Murray, Toby
Cited in: 9 Publications (2014–2022)
Related Software: Isabelle; Isabelle/HOL; Coq; HOL; Locales; HOL Light; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

evt

Software Authors:   Lars–Åke Fredlund; Dilian Gurov; Thomas Noll; Mads Dam; Thomas Arts; Gennady Chugunov
Cited in: 6 Publications (2001–2021)
Related Software: Erlang; Isabelle; Coq; Java-MaC; InterAspect; AspectWerkz; …
Main Fields: 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)

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)

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)

ArcAngelC

Software Authors:   Oliveira, Marcel; Zeyda, Frank; Cavalcanti, Ana
Cited in: 5 Publications (2010–2015)
Related Software: Circus; Z; ProofPower; ZRC; ArcAngel; ClawZ; …
Main Fields: Computer science (68-XX)

Coquet

Software Authors:   Braibant, Thomas
Cited in: 6 Publications (2011–2021)
Related Software: Coq; Lava; Kami; Haskell; muFP; FreeSpec; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

EXPANDER

Software Authors:   Peter Padawitz
Cited in: 6 Publications (1992–2007)
Related Software: CoCasl; Curry; Maude; HasCasl; SPIKE; RRL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

IsaFoR

Software Authors:   Krauss, Alexander; Sternagel, Christian; Thiemann, René; Fuhs, Carsten; Giesl, Jürgen
Cited in: 4 Publications (2011–2016)
Related Software: Isabelle/HOL; CeTA; CoLoR; Isabelle; Coq; Tyrolean; …
Main Fields: 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)

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)

HOL2P

Software Authors:   Völker, Norbert
Cited in: 4 Publications (2007–2018)
Related Software: HOL Light; HOL; Coq; HOL Light QE; reFLect; Agda; …
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)

MMode

Software Authors:   Giero M, Wiedijk F.
Cited in: 3 Publications (2014–2015)
Related Software: Mizar; Coq; Isar; Isabelle/Isar; Logic2CNF; OMDoc; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Rtac

Software Authors:   Malecha, G., Bengtson, J.
Cited in: 3 Publications (2015–2021)
Related Software: Coq; CompCertTSO; Delphin; seL4; VeriML; Mtac; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Systems theory; control (93-XX)

Verified Prover

Software Authors:   Tom Ridge
Cited 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)

VST-Floyd

Software Authors:   Cao, Qinxiang; Beringer, Lennart; Gruetter, Samuel; Dodds, Josiah; Appel, Andrew W.
Cited in: 3 Publications (2018–2021)
Related Software: Coq; Toolchain; Rust; Dafny; GitHub; VeriFast; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Coq Interval

Software Authors:   Guillaume Melquiond
Cited in: 2 Publications (2019)
Related Software: Coq; Coquelicot; Octave; hikmot; cheeky; GitHub; …
Main Fields: Manifolds and cell complexes (57-XX); Numerical analysis (65-XX); Computer science (68-XX)

Heq

Software Authors:   Chung-Kil Hur
Cited in: 2 Publications (2012–2016)
Related Software: Coq; Idris; Lean; Irdis; Agda; Epigram; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Manip

Software Authors:   Di Vito, B.
Cited in: 2 Publications (2013–2016)
Related Software: PVS; Coq; PVSio-web; HybridSal; HSolver; ScicosLab; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Systems theory; control (93-XX)

Deriving class

Software Authors:   Christian Sternagel; René Thiemann
Cited in: 1 Publication (2017)
Related Software: Kodkod; Nested Multisets; Abstract Completeness; Knuth Bendix Orders; Markov Models; Jinja Threads; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Harpoon

Software Authors:   Errington, Jacob; Jang, Junyoung; Pientka, Brigitte
Cited in: 1 Publication (2021)
Related Software: Coq; Beluga; Mtac; PoplMark; Abella; Twelf
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Huffman

Software Authors:   Jasmin Christian Blanchette
Cited in: 1 Publication (2009)
Related Software: Archive Formal Proofs; HOL; Isabelle/HOL; ML; Isabelle
Main Fields: Computer science (68-XX)

MALOnt

Software Authors:   Nidhi Rastogi, Sharmishtha Dutta, Mohammed J. Zaki, Alex Gittens, Charu Aggarwal
Cited in: 0 Publications
Related Software: RoBERTa; Transformers; T-NER; brat; BERT; flair; …
Main Fields:

Nuprl-Light

Software Authors:   Hickey, Jason J.
Cited in: 1 Publication (1997)
Related Software: Cambridge LCF; Nuprl; Isabelle
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Ocean

Software Authors:   Inshakova, L.A.
Cited in: 1 Publication (2013)
Related Software: Matlab
Main Fields: Functions of a complex variable (30-XX)

ProofViz

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

TeLoDe

Software Authors:   Paraskakis, Iraklis
Cited in: 1 Publication (2002)
Related Software: Maple
Main Fields: Computer science (68-XX)

KeYmaeraD

Software Authors:   André Platzer, David Renshaw
Cited in: 0 Publications
Related Software:
Main Fields: