| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-04-05 | [native compiler] Fix critical bug with primitive projections | Maxime Dénès | |
| Since e1e7888, stuck projections were not computed correctly. Fixes #9684 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |