Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
src
Calc
Round.v
Find file
Blame
History
Permalink
Duplicate theorems to reason on exact values instead of approximate ones.
· 3424cf9b
Guillaume Melquiond
authored
Feb 15, 2018
3424cf9b