CakeML Software Authors: Kumar, Ramana; Myreen, Magnus O.; Norrish, Michael; Owens, Scott Cited in: 57 Publications (2014–2022) Related Software: Isabelle/HOL; Coq; HOL; HOL Light; seL4; Isabelle; … Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-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)
OpenTheory Software Authors: Hurd, J. Cited in: 16 Publications (2012–2021) Related Software: HOL Light; HOL; Isabelle/HOL; Isabelle; Coq; CakeML; … Main Fields: Mathematical logic and foundations (03-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)
HOL-Omega Software Authors: Homeier, Peter V. Cited in: 9 Publications (2009–2019) Related Software: HOL; Isabelle; Coq; Lifting; Transfer; HOL Light; … Main Fields: Category theory; homological algebra (18-XX); Computer science (68-XX)
Lem 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)
Cliplus Software Authors: Rafal Ablamowicz; Bertfried Fauser Cited in: 3 Publications (2005–2022) Related Software: CLIFFORD; BIGEBRA; SymGroupAlgebra; Octonion; SchurFkt; GfG; … Main Fields: Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
Squolem Software Authors: Weber, Tjark Cited in: 3 Publications (2010–2011) Related Software: LCF; z3; MetiTarski; HOL; PVS; Isabelle; … Main Fields: Computer science (68-XX)
VeriPhy Software Authors: Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer Cited in: 3 Publications (2018–2021) Related Software: KeYmaera; Coq; Isabelle/HOL; Idris; Milawa; Agda; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
HolBA Software Authors: Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads Cited in: 2 Publications (2020–2022) Related Software: CIRC; CPAchecker; SeaHorn; GNATprove; RGITL; Leon; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)