Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
Infra
abbrevs.v.d
Find file
Blame
History
Permalink
Define interval arithmetic and move abbreviations into separate file, as for HOL stuff
· 7ed13b8b
Heiko Becker
authored
Jul 28, 2016
7ed13b8b