| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-09-15 | A temporary fix of #13018 and #12775 for branch 8.2. | Hugo Herbelin | |
| We arbitrarily use max_int as higher level of custom entries in printing, which should be ok since only < and <= are used to decide when to use coercions. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |