Mentions légales du service
Skip to content
GitLab
Explore
Sign in
CoqInterval
interval
Repository
interval
src
Eval
Eval.v
Find file
Blame
History
Permalink
Prove variants of Eval theorems on real numbers.
· c39aa028
Guillaume Melquiond
authored
Oct 18, 2019
c39aa028