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
Use Zeven definition and theorems from the standard library.
· 614a6aac
Guillaume Melquiond
authored
Nov 14, 2017
614a6aac