×

Found 10 Software Packages (Results 1–10)

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; ProofPower; …
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; KeYmaera X; ModelPlex; Bellerophon; dReach; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

HolBA

Software Authors:   Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads
Cited in: 2 Publications (2020–2022)
Related Software: SeaHorn; GNATprove; RGITL; Leon; CPAchecker; CIRC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)