aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories/Reals/vo.itarget
Commit message (Expand)AuthorAge
* Legacy Ring and Legacy Field migrated to contribsGravatar letouzey2012-07-05
* finish the rearrangement for removing the sin_PI2 axiom. This new versionGravatar bertot2012-06-11
* Adds the proof of PI_ineq, plus some other smarter ways to approximate PIGravatar bertot2012-06-11
* Factorisation between Makefile and ocamlbuild systems : .vo to compile are in...Gravatar letouzey2009-12-09