Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
simple_doppler.v
Find file
Blame
History
Permalink
More work on toy example, AbsErrExp part of goal is fully proven
· 9b427ee4
Heiko Becker
authored
Aug 12, 2016
9b427ee4