Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Adding and fixing links in README. | 2017-04-18 | |
* | [readme] Add badges for Travis and Gitter. | 2017-03-28 | |
* | Description added | 2015-08-05 | |
* | Simpler titles | 2015-08-05 | |
* | README in MarkDown | 2015-08-05 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Adding and fixing links in README. | 2017-04-18 | |
* | [readme] Add badges for Travis and Gitter. | 2017-03-28 | |
* | Description added | 2015-08-05 | |
* | Simpler titles | 2015-08-05 | |
* | README in MarkDown | 2015-08-05 |