Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
ErrorValidation.v
Find file
Blame
History
Permalink
minor style changes in Coq dev and finish porting in HOL4
· 96bc2e7e
Heiko Becker
authored
Aug 16, 2018
96bc2e7e