Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
src
main
scala
daisy
backend
CertificatePhase.scala
Find file
Blame
History
Permalink
Fix certificate generation to generate actual theorems and to not ave HOL4 typechecker fail
· 6acb343b
Heiko Becker
authored
Jan 31, 2017
6acb343b