| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-29 | Fixes #12418 (inference of return clause meets assert false). | Hugo Herbelin | |
| This is a quick fix to avoid the anomaly, with a fallback on before b1b8243b7fc. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |