Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
hol
exps.hl
Find file
Blame
History
Permalink
Prove exp eval deterministic in coq, prove side-lemma in HOL
· 6144c6f9
Heiko Becker
authored
Jun 30, 2016
6144c6f9