Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
You need to sign in or sign up before continuing.
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