hol topic
List
hol repositories
cakeml
921
Stars
81
Forks
Watchers
CakeML: A Verified Implementation of ML
PSL
63
Stars
9
Forks
Watchers
hardware
22
Stars
5
Forks
Watchers
Verilog development and verification project for HOL4
nunchaku
41
Stars
3
Forks
Watchers
Model finder for higher-order logic
utp-main
34
Stars
9
Forks
Watchers
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
opentheory
15
Stars
3
Forks
Watchers
The opentheory tool processes higher order logic theory packages