| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |