Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
lib
coq
list
Combine.v
Find file
Blame
History
Permalink
Improved theory real.PowerReal, compatible with MetiTarski, and with a Coq realization
· 4b4da5ee
MARCHE Claude
authored
Mar 25, 2015
4b4da5ee