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
Simplify proofs a bit.
· 66a6ec34
Guillaume Melquiond
authored
Oct 24, 2019
66a6ec34