Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
simple_doppler.v
Find file
Blame
History
Permalink
Try to prove copnstant case, fix machine epsilon. Still not working...
· 176780f1
Heiko Becker
authored
Aug 11, 2016
176780f1