Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Issues
#8
Make the HOL4 development compile with the latest version of CakeML/HOL4
HOL4 has had some changes to
drule
so the proofs need to be updated