| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Correct some spelling errorsmaster |  Benjamin Barenblat | 2018-07-22 |
| * | Omega: use "simpl" only on coefficents, not on atoms (fix #4132) |  Pierre Letouzey | 2017-05-29 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |