GitPlanet
All Categories → No Category → hol

Top 2 hol open source projects

nunchaku
Model finder for higher-order logic
✭ 40
ocamlMakefilelogicsatmodel-findingcvc4higher-orderhol
utp-main
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
✭ 30
IsabelleTeXStandard MLpythonC++ctheoryholutpunifying-theories
1-2 of 2 hol projects