Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Flocq
flocq
Repository
flocq
examples
Average.v
Find file
Blame
History
Permalink
New definitions for ulp, pred, succ. And all the corresponding modifications.
· 1d5a4239
BOLDO Sylvie
authored
Jun 30, 2015
1d5a4239