Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
hol4
.HOLCOMMIT
Find file
Blame
History
Permalink
Update to latest HOL4 version, remove cakeml submodule, add dependency to CAKEMLDIR variable
· 9ef2537b
Heiko Becker
authored
Mar 18, 2020
9ef2537b