Mentions légales du service
Skip to content
GitLab
Explore
Sign in
CoqInterval
interval
Repository
interval
src
Integral
Refine.v
Find file
Blame
History
Permalink
Avoid recomputing the sum of integrals after each split.
· 4f44319a
Guillaume Melquiond
authored
Sep 18, 2019
4f44319a