ACL2 Software Authors: Matt Kaufmann, Strother Moore Cited in: 280 Publications (1998–2022) Related Software: Coq; Isabelle/HOL; PVS; HOL; Isabelle; HOL Light; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Algebraic topology (55-XX)
Ivy Software Authors: William McCune; Olga Shumsky Cited in: 39 Publications (2000–2021) Related Software: ACL2; TPTP; z3; Ivy; Coq; SPASS; … Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)
Milawa Software Authors: Myreen, Magnus O.; Davis, Jared Cited in: 19 Publications (2011–2020) Related Software: HOL; Jitawa; Coq; HOL Light; Isabelle/HOL; CakeML; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
ACL2s Software Authors: Dillinger, Peter C.; Manolios, Panagiotis; Vroon, Daron; Moore, J Strother Cited in: 12 Publications (2007–2021) Related Software: ACL2; Zeno; NQTHM; z3; Boogie; QuickCheck; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
RDL Software Authors: Armando, Alessandro; Compagna, Luca; Ranise, Silvio Cited in: 4 Publications (2001–2005) Related Software: NQTHM; ACL2; Cambridge LCF; GUARDIAN; Maple; PVS; … Main Fields: Computer science (68-XX)
DrACuLa Software Authors: Dale Vaillancourt, Rex Page, Matthias Felleisen Cited in: 2 Publications (2007–2012) Related Software: DrScheme; ACL2; DrJava; Proof Pad; ACL2s; NQTHM; … Main Fields: Computer science (68-XX); Mathematics education (97-XX)
Imandra 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)
LRAT Software Authors: Marijn Heule, Warren A. Hunt, Jr., Matt Kaufmann Cited in: 1 Publication (2017) Related Software: DRAT-trim; Isabelle/HOL; GRATchk; GRAT; Chaff; Coq; … Main Fields: Computer science (68-XX)
Proof Pad Software Authors: Caleb Eggensperger Cited in: 1 Publication (2018) Related Software: ACL2; DrACuLa; DrJava; DrScheme Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)