Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
hol
toy_example.hl
Find file
Blame
History
Permalink
Start working on toy example proof, add coq definitions
· 3e046357
Heiko Becker
authored
Jun 29, 2016
3e046357