| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix #7539: Checker does not properly handle negative coinductive types. |  Pierre-Marie Pédrot | 2018-05-18 |
| The reduction machine of the checker was not taking into account the fact that cofixpoints needed to be unfolded when applied against a projection. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |