| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-01-06 | [micromega] fix of bug #11191 | Frédéric Besson | |
| - Add an instance to ZifyInst to instruct zify that 0 < x -> 0 < y -> 0 < Z.pow x y - More aggressive interval analysis to bound non-linear monomials. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |