Isabelle/HOL Software Authors: Naraschewski, Wolfgang; Nipkow, Tobias Cited in: 988 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)
LLFp Software Authors: Honsell, Furio; Liquori, Luigi; Maksimovic, Petar; Scagnetto, Ivan Cited in: 4 Publications (2016–2019) Related Software: Coq; MMT; Agda; Beluga; Twelf; GitHub; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
EigenCFA Software Authors: Prabhu, Tarun; Ramalingam, Shreyas; Might, Matthew; Hall, Mary Cited in: 3 Publications (2011–2012) Related Software: PETSc; CUDA; THORS; TRecS; ARMC; SPIN Main Fields: Computer science (68-XX)
SUBSEXPL Software Authors: de Moura, F.L.C.; Ayala-Rinc\'on, M.; Kamareddine, F. Cited in: 3 Publications (2006–2011) Related Software: Automath; Emacs; OCaml; Isabelle/HOL; Coq Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
cap-typechecking Software Authors: J. Edi; A. Viso Cited in: 2 Publications (2018–2019) Related Software: GitHub Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MLOG Software Authors: Poirriez, Vincent Cited in: 2 Publications (1992–1994) Related Software: GHC Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SKIL Software Authors: Galmiche, D.; Hermann, O. Cited in: 2 Publications (1993–2000) Related Software: LEGO; Automath; Lolli; Jape; Cambridge LCF; Elf; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Anagopos Software Authors: Bugge Grathwohl, Niels Bjørn; Ketema, Jeroen; Pallesen, Jens Duelund; Simonsen, Jakob Grue Cited in: 1 Publication (2011) Related Software: TILC; Tulip; Graphviz Main Fields: Computer science (68-XX)
MikiBeta Software Authors: Sakurai, Kanako; Asai, Kenichi Cited in: 1 Publication (2011) Related Software: PLT Redex; OCaml; Coq Main Fields: Computer science (68-XX)