| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-03-18 | Update headers in the whole code base. | Théo Zimmermann | |
| Add headers to a few files which were missing them. | |||
| 2019-08-18 | [api] Move `Keys` to pretyping | Emilio Jesus Gallego Arias | |
| This file is unrelated to library, but to pretyping/unification. This commit, along with others already submitted go towards the goal of `library` containing only the handling of library objects. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |