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
Prove a variant of Refine.valid_at_mixed'.
· daa6c66e
Guillaume Melquiond
authored
Oct 25, 2019
daa6c66e