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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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:	–

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)

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)

Software Authors:   Melcer, Daniel; Chang, Stephen

Cited in:	1 Publication (2021)
Related Software:	HACL*; LOUI; PVS
Main Fields:	Computer science (68-XX)

Software Authors:   Daniel Wasserrab

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