| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Change the option for cumulativity |  Amin Timany | 2017-07-31 |
| * | Add Jason's example of fun-ext with cumulativity | Amin Timany | 2017-07-31 |
| * | Add test for NonCumulative inductives | Amin Timany | 2017-07-31 |
| * | Issue error on monomorphic cumulative inductives | Amin Timany | 2017-07-31 |
| * | Fix a bug in cumulativity | Amin Timany | 2017-06-16 |
| * | Move (part of) tests from checker to success | Amin Timany | 2017-06-16 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |