| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-10-21 | Add missing deprecations in Projection API. | Pierre-Marie Pédrot |
| 2020-10-21 | Same little game with Projection. | Pierre-Marie Pédrot |
| 2020-10-21 | Deprecate the non-qualified equality functions on kerpairs. | Pierre-Marie Pédrot |
| 2020-10-08 | Dropping the misleading int argument of Pp.h. | Hugo Herbelin |
| 2020-07-24 | Fixes reduction effect printing in the presence of non purely applicative sta... | Hugo Herbelin |
| 2020-07-06 | Primitive persistent arrays | Maxime Dénès |
| 2020-07-01 | UIP in SProp | Gaëtan Gilbert |
| 2020-06-04 | Move the Cbn module to tactics/. | Pierre-Marie Pédrot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |