| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Amendments to contributing doc |  Tej Chajed | 2017-08-10 |
| * | Add a set of contributing guidelines | Tej Chajed | 2017-08-10 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/CONTRIBUTING.md