| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-11-01 | Add primitive float computation in Coq kernel | Guillaume Bertholon |
| 2019-09-25 | Clean up InferCumulativity after its move to the kernel. | Pierre-Marie Pédrot |
| 2019-09-25 | Move cumulativity inference to the kernel. | Pierre-Marie Pédrot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |