| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge PR #6769: Split closure cache and remove whd_both |  Maxime Dénès | 2018-03-09 |
| |\ | |||
| | * | Pass the constant cache as a separate argument in kernel reduction. |  Pierre-Marie Pédrot | 2018-03-04 |
| * | | Update headers following #6543. |  Théo Zimmermann | 2018-02-27 |
| |/ | |||
| * | Cleaner treatment of parameters in inferCumulativity |  Gaëtan Gilbert | 2018-02-16 |
| * | Fix reduction flags in inferCumulativity | Gaëtan Gilbert | 2018-02-16 |
| * | inferCumulativity: add comment to explain [if not is_arity]. | Gaëtan Gilbert | 2018-02-11 |
| * | Use specialized function for inductive subtyping inference. | Gaëtan Gilbert | 2018-02-11 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |