×

Found 94 Software Packages (Results 1–94)

Isabelle/HOL

Software Authors:   Naraschewski, Wolfgang; Nipkow, Tobias
Cited 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)

Isabelle

Software Authors:   Larry Paulson, Tobias Nipkow, Makarius Wenzel
Cited in: 701 Publications (1990–2022)
Related Software: Isabelle/HOL; HOL; Coq; PVS; ML; Archive Formal Proofs; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

HOL

Software Authors:   Gordon, Michael J. C.
Cited 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
Cited 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)

Agda

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

Archive Formal Proofs

Software Authors:   Blanchette, Jasmin Christian; Haslbeck, Maximilian; Matichuk, Daniel; Nipkow, Tobias
Cited in: 188 Publications (1963–2022)
Related Software: Isabelle/HOL; Isabelle; Coq; HOL; Sledgehammer; Mizar; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

LCF

Software Authors:   Milner, Robin
Cited 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)

LEGO

Software Authors:   Luo, Z., Pollack, R.
Cited in: 106 Publications (1991–2021)
Related Software: Coq; Nuprl; Automath; Isabelle; ML; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

KRAKATOA

Software Authors:   Marché, C.; Paulin-Mohring, C.; Urbain, X.
Cited in: 77 Publications (2004–2021)
Related Software: Why3; Caduceus; JML; Boogie; Spec#; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Coq/SSReflect

Software Authors:   Microsoft Research-Inria Joint Center
Cited in: 71 Publications (2008–2021)
Related Software: Coq; Isabelle/HOL; Mizar; ACL2; Isabelle; Flyspeck; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Group theory and generalizations (20-XX)

ALF

Software Authors:   Lena Magnusson
Cited in: 67 Publications (1993–2018)
Related Software: Coq; Automath; Nuprl; LEGO; Isabelle; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Geometry (51-XX)

Isabelle/ZF

Software Authors:   Lawrence C. Paulson
Cited in: 63 Publications (1993–2021)
Related Software: Isabelle; Coq; Isabelle/HOL; HOL; Mizar; ML; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)

Proof General

Software Authors:   Aspinall, David
Cited in: 50 Publications (2000–2019)
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: 37 Publications (2006–2019)
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)

Ynot

Software Authors:   Nanevski, Aleksandar; Morrisett, Greg; Shinnar, Avraham; Govereau, Paul; Birkedal, Lars
Cited in: 34 Publications (2008–2019)
Related Software: Coq; Isabelle/HOL; Haskell; Isabelle; VeriFast; Spec#; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Ott

Software Authors:   Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok
Cited 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)

MaSh

Software Authors:   Daniel Kühlwein; Jasmin Christian Blanchette; Cezary Kaliszyk; Josef Urban
Cited 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)

Letterplace

Software Authors:   Viktor Levandovskyy, Karim Abou Zeid, Hans Schönemann
Cited in: 22 Publications (2009–2022)
Related Software: SINGULAR; Plural; Magma; OperatorGB; SageMath; SymbolicData; …
Main Fields: Commutative algebra (13-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX)

F*

Software Authors:   Microsoft Research, INRIA; Swamy, Nikhil; Chen, Juan; Fournet, Cédric; Strub, Pierre-Yves; Bhargavan, Karthikeyan; Yang, Jean
Cited in: 20 Publications (2011–2020)
Related Software: Coq; EasyCrypt; Nuprl; Idris; Irdis; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

cminor

Software Authors:   Appel, A.W., Blazy, S.
Cited in: 17 Publications (2007–2016)
Related Software: Coq; CompCert; Isabelle/HOL; CIL; Boogie; Dafny; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Gappa

Software Authors:   Guillaume Melquiond
Cited in: 19 Publications (2009–2021)
Related Software: Coq; z3; ASTREE; PVS; Why3; Flocq; …
Main Fields: Mathematical logic and foundations (03-XX); Real functions (26-XX); Partial differential equations (35-XX)

GeoProof

Software Authors:   Julien Narboux; Nicolas François
Cited in: 16 Publications (2007–2020)
Related Software: GEX; GeoThms; Coq; GCLC; GeoGebra; JGEX; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Numerical analysis (65-XX)

Plastic

Software Authors:   Paul Callaghan
Cited in: 17 Publications (2000–2014)
Related Software: Coq; LEGO; ALF; FraCaS; GF; Nuprl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SAD

Software Authors:   Verchinine, Konstantin; Lyaletski, Alexander; Paskevich, Andrei
Cited in: 15 Publications (2004–2021)
Related Software: Mizar; ForTheL; TPTP; Automath; Isar; kepler98; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-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)

Whelp

Software Authors:   Asperti, Andrea; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico; Zacchiroli, Stefano
Cited in: 15 Publications (2006–2021)
Related Software: Mizar; Coq; MML; Matita; Nuprl; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); 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)

CertiCoq

Software Authors:   Anand, A., Appel, A., Morrisett, G., Paraskevopoulou, Z., Pollack, R., Belanger, O.S., Sozeau, M., Weaver, M.
Cited in: 13 Publications (2017–2022)
Related Software: Coq; CakeML; Isabelle/HOL; OEuf; HOL; Fiat; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Verasco

Software Authors:   Jacques-Henri Jourdan, Vincent Laporte, Sandrine Blazy, Xavier Leroy, David Pichardie
Cited in: 12 Publications (2016–2021)
Related Software: Coq; z3; ASTREE; Toolchain; LLVM; HACL*; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Convex and discrete geometry (52-XX)

FoCaLiZe

Software Authors:   INRIA; Pessaux, F., Weia, P., Doligez, D.
Cited in: 8 Publications (2015–2021)
Related Software: Coq; dedukti; PVS; Zenon; Isabelle/HOL; HOL Light; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Proviola

Software Authors:   Tankink, Carst; Geuvers, Herman; McKinna, James; Wiedijk, Freek
Cited in: 8 Publications (2010–2016)
Related Software: Coq; Proof General; Isabelle; Flyspeck; HOL Light; Mizar; …
Main Fields: General and overarching topics; collections (00-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)

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)

GeoCoq

Software Authors:   Michael Beeson, Pierre Boutry, Gabriel Braun, Charly Gries, Julien Narboux
Cited in: 8 Publications (2007–2021)
Related Software: Coq; Isabelle/Isar; JGEX; GeoGebra; Isabelle; GeoLogic; …
Main Fields: Mathematical logic and foundations (03-XX); Geometry (51-XX); Computer science (68-XX)

mural

Software Authors:   Jones, C.B.; Jones, K.D.; Lindsay, P.A.; Moore, R.D.
Cited in: 8 Publications (1991–2014)
Related Software: Jape; FermaT; Rodin; RAISE; ProB; LARCH; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Pandora

Software Authors:   Broda, Krysia; Ma, Jiefei; Sinnadurai, Gabrielle; Summers, Alexander
Cited in: 9 Publications (2007–2010)
Related Software: MySQL; Galileo
Main Fields: History and biography (01-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-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)

SMTCoq

Software Authors:   Ekici, B., et al.
Cited in: 9 Publications (2017–2021)
Related Software: Coq; z3; Sledgehammer; Isabelle/HOL; CVC4; AVATAR; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Geometry (51-XX)

TRX

Software Authors:   Koprowski, Adam; Binsztok, Henri
Cited in: 8 Publications (2010–2020)
Related Software: Coq; Agda; HOL; CompCert; GitHub; seL4; …
Main Fields: Computer science (68-XX)

A3PAT

Software Authors:   Contejean, E., Paskevich, A., Urbain, X., Courtieu, P., Pons, O., Forest, J.
Cited in: 8 Publications (2010–2017)
Related Software: CoLoR; CeTA; Isabelle/HOL; Coq; AProVE; Tyrolean; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-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)

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)

Hipster

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

Globular

Software Authors:   Krzysztof Bar, Aleks Kissinger, Jamie Vicary
Cited in: 6 Publications (2016–2022)
Related Software: GitHub; opetopy; HoTT; DisCoPy; pytket; PyZX; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Grail

Software Authors:   Moot, R.
Cited in: 6 Publications (2010–2019)
Related Software: CatLog3; Lolli; LinearOne; GitHub; CatLog; Grail
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LNgen

Software Authors:   Aydemir, B.E., Weirich, S.
Cited in: 7 Publications (2011–2021)
Related Software: PoplMark; Isabelle/HOL; Nominal Isabelle; Abella; Twelf; Beluga; …
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)

CertiCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Zanella Béguelin, Santiago
Cited in: 5 Publications (2009–2017)
Related Software: Coq; Coq/SSReflect; EasyCrypt; kepler98; seL4
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CoqMT

Software Authors:   Pierre-Yves Strub
Cited in: 6 Publications (2010–2020)
Related Software: Coq; CoqMTU; Boogie; ArchSAT; CoqInE; HARP; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-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)

Equations

Software Authors:   Sozeau, Matthieu
Cited in: 6 Publications (2010–2020)
Related Software: Coq; Idris; Lean; Irdis; GitHub; AmiCo; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); Computer science (68-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)

Kumo

Software Authors:   Joseph Goguen , Kai Lin, Grigore Rosu, Bogdan Warinschi
Cited in: 5 Publications (1999–2004)
Related Software: CafeOBJ; UNITY; OBJ3
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Mezzo

Software Authors:   Pottier, François; Protzenko, Jonathan
Cited in: 4 Publications (2014–2018)
Related Software: Alcove; Featherweight Java; Rodin; Rust; Charge!; Infer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PhoX

Software Authors:   Christophe Raffalli
Cited in: 5 Publications (2003–2012)
Related Software: Mizar; Isar; Coq; Metamath; Agda; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

QuickChick

Software Authors:   Paraskevopoulou, Zoe; Hriţcu, Cătălin; Dénès, Maxime; Lampropoulos, Leonidas; Pierce, Benjamin C.
Cited in: 5 Publications (2015–2019)
Related Software: PVS; Coq; QuickCheck; Nitpick; SmallCheck; z3; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

UTP2

Software Authors:   Andrew BUTTERFIELD
Cited in: 5 Publications (2010–2019)
Related Software: Saoithin; Isabelle/HOL; Isabelle/UTP; ProofPower; PVS; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Mathematical Components

Software Authors:   Mathematical Components Team
Cited in: 4 Publications (2016–2021)
Related Software: Coq; Isabelle/HOL; GitHub; QuickChick; SmallCheck; QuickCheck; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

NLCertify

Software Authors:   Victor Magron
Cited in: 4 Publications (2014–2017)
Related Software: OCaml; Coq; Sollya; dReal; Flocq; HOL Light; …
Main Fields: Number theory (11-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

RedPRL

Software Authors:   J. Sterling, D. Gratzer, V. Rahli, D. Morrison, E. Akentyev, A. Tosun
Cited in: 4 Publications (2018–2021)
Related Software: cubicaltt; Lean; Coq; GitHub; Cubical agda; cart-cube; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Algebraic topology (55-XX)

CoSMed

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

HOL Light QE

Software Authors:   Carette, Jacques; Farmer, William M.; Laskowski, Patrick
Cited 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)

IsarMathLib

Software Authors:   –
Cited in: 3 Publications (2017–2021)
Related Software: Metamath; Mizar; Isabelle/ZF; AUTO2; Isabelle; Lifting; …
Main Fields: Mathematical logic and foundations (03-XX); Algebraic topology (55-XX); 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)

Plat-Omega

Software Authors:   Wagner, Marc; Autexier, Serge; Benzmüller, Christoph
Cited in: 3 Publications (2007–2019)
Related Software: OMDoc; LaTeX; MMTTeX; Mizar; Isabelle; Multi; …
Main Fields: 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)

EditorArrow

Software Authors:   Achten, Peter; van Eekelen, Marko; de Mol, Maarten; Plasmeijer, Rinus
Cited in: 1 Publication (2013)
Related Software: Sparkle; Quicksort; PVS; CLEAN; Coq; Yampa
Main Fields: Computer science (68-XX)

EUODHILOS

Software Authors:   Toshiro Minami; Hajime Sawamura; Kyoko Tsuchiya
Cited in: 2 Publications (1989–1998)
Related Software: HOL; Isabelle
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FOL_Harrison

Software Authors:   Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
Cited 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)

Hazelnut

Software Authors:   Omar, Cyrus; Voysey, Ian; Hilton, Michael; Aldrich, Jonathan; Hammer, Matthew A.
Cited in: 2 Publications (2017)
Related Software: js_of_ocaml; mbeddr; TouchDevelop; Calcite; Lamdu; Idris; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

JKelloy

Software Authors:   Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, Mana Taghdiri
Cited in: 1 Publication (2012)
Related Software: KeY; Athena; Kelloy; PVS; Alloy
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)

PAF!

Software Authors:   Baro, Sylvain
Cited in: 2 Publications (2004–2011)
Related Software: KIV; Why3; PVS; Coq; ACL2
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RDA

Software Authors:   Fontaine, Allyx; Zemmari, Akka
Cited in: 2 Publications (2016)
Related Software: PRISM; Coq; DAMPAS; Haskell; Isabelle/HOL
Main Fields: Computer science (68-XX)

ReCaml

Software Authors:   Buisson, Jérémy; Dagnat, Fabien
Cited in: 2 Publications (2010)
Related Software: Zinc; Erlang; Coq; Lolliproc; VeriML; Haskell
Main Fields: General and overarching topics; collections (00-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)

CiMPA

Software Authors:   Riesco, Adrián; Ogata, Kazuhiro
Cited in: 1 Publication (2017)
Related Software: CiMPG; CafeInMaude; Hets; Maude; CafeOBJ; PVS; …
Main Fields: Computer science (68-XX)

Coqtail

Software Authors:   G. Allais
Cited in: 1 Publication (2013)
Related Software: Coq
Main Fields: Mathematical logic and foundations (03-XX); Functions of a complex variable (30-XX); Algebraic topology (55-XX)

DAMPAS

Software Authors:   M. Mosbah et.al
Cited in: 1 Publication (2016)
Related Software: RDA; Haskell; Isabelle/HOL; PRISM; Coq
Main Fields: 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)

Kelloy

Software Authors:   Ulbrich, Mattias; Geilmann, Ulrich; El Ghazi, Aboubakr Achraf; Taghdiri, Mana
Cited in: 1 Publication (2012)
Related Software: KeY; Athena; JKelloy; PVS; Alloy
Main Fields: Computer science (68-XX)

Logitext

Software Authors:   Yang, E.Z.
Cited in: 1 Publication (2016)
Related Software: Incredible Proof Machine; Unbound; Isabelle/HOL; Coq
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Naproche-SAD

Software Authors:   De Lon, Adrian; Koepke, Peter; Lorenzen, Anton
Cited in: 1 Publication (2020)
Related Software: Naproche; Lean; ForTheL; Mizar; Isabelle/Isar
Main Fields: Computer science (68-XX)

Orchard

Software Authors:   Eric Finster
Cited in: 1 Publication (2016)
Related Software: Globular; Agda; Coq
Main Fields: Computer science (68-XX)

PeaCoq

Software Authors:   V. Robert, S. Lerner
Cited in: 1 Publication (2016)
Related Software: GitHub; CoqPIE; Coqoon; CtCoq; Isabelle/PIDE; Isabelle/jEdit; …
Main Fields: Computer science (68-XX)

Poincare_Disc

Software Authors:   Danijela Simić, Filip Marić, Pierre Boutry
Cited in: 1 Publication (2021)
Related Software: Complex_Geometry; GeoCoq; Archive Formal Proofs; Lifting; Transfer; Isabelle/Isar; …
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)

Q*cert

Software Authors:   Auerbach, J.S., Hirzel, M., Mandel, L., Shinnar, A., Siméon, J.
Cited in: 1 Publication (2018)
Related Software: SQLCert; SEQUEL; HoTTSQL; CertiCoq; CertiKOS; Fiat; …
Main Fields: Computer science (68-XX)

SerAPI

Software Authors:   Arias, E.J.G.
Cited in: 1 Publication (2019)
Related Software: Matita; Logipedia; CoqHammer; DeepMath; Coq
Main Fields: Computer science (68-XX)

SyDPaCC

Software Authors:   –
Cited in: 1 Publication (2014)
Related Software: Coq
Main Fields: Computer science (68-XX)

UALib

Software Authors:   William DeMeo
Cited in: 0 Publications
Related Software: Agda
Main Fields:

WorkflowFM

Software Authors:   Papapanagiotou, Petros; Fleuriot, Jacques
Cited in: 1 Publication (2017)
Related Software: JGraph; HOL Light; LINK; Graphviz
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)