Coq Software Authors: Dehlinger, Christophe; Dufourd, Jean-François Cited in: 1,847 Publications (1993–2023) Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)
LEGO Software Authors: Luo, Z., Pollack, R. Cited in: 107 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)
Matita Software Authors: Asperti, Andrea; Ricciotti, Wilmer; Sacerdoti Coen, Claudio; Tassi, Enrico Cited in: 74 Publications (2007–2022) Related Software: Coq; Mizar; Isabelle/HOL; Isabelle; Agda; Proof General; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Real functions (26-XX)
CoqMT Software Authors: Pierre-Yves Strub Cited in: 6 Publications (2010–2020) Related Software: Coq; CoqMTU; Why3; dedukti; Boogie; ArchSAT; … Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)
Gallina Software Authors: Huet, Gérard Cited in: 6 Publications (1994–2018) Related Software: Coq; Mtac; Template-Coq; CertiCoq; Charge!; Fiat; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Template-Coq Software Authors: Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas Cited in: 5 Publications (2018–2022) Related Software: Coq; MetaCoq; CertiCoq; Idris; OEuf; Mtac; … Main Fields: Computer science (68-XX)
CoqMTU Software Authors: Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang Cited in: 3 Publications (2013–2017) Related Software: Coq; CoqMT; Coquet; PREVAIL Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
BCiC Software Authors: Whitehead, Nathan; Abadi, Martín Cited in: 1 Publication (2005) Related Software: Binder Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)