| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-04-28 | Stop relying on side-effects for recursive scheme declaration. | Pierre-Marie Pédrot |
| 2020-01-27 | schemes: use rigid universes | Gaëtan Gilbert |
| 2017-05-01 | Fixing Set Rewriting Schemes bugs introduced in v8.5. | Hugo Herbelin |
| 2011-06-13 | Another bug of Scheme Induction (generated names dep/nodep were swapped). | herbelin |
| 2011-06-13 | Fixing an anomaly in Scheme Induction. | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |