| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-12-05 | Leveraging GADTs to provide a better Dyn API. | Pierre-Marie Pédrot |
| 2015-12-04 | Specializing the Dyn module to each usecase. | Pierre-Marie Pédrot |
| 2014-03-05 | Fixing compilation on OCaml 4.01. | Pierre-Marie Pédrot |
| 2013-10-10 | Clib: fold_left_until added to CList | gareuselesinge |
| 2013-09-06 | Moving Searchstack to CStack, and normalizing names a bit. | ppedrot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |