Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
hol
daisy_lang.ml
Find file
Blame
History
Permalink
prove totality of exp eval to get idea of HOL Light, add .ocamlinit to gitignore
· b3b0e20d
Heiko Becker
authored
Jun 14, 2016
b3b0e20d