Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Have coq-dpdgraph ci test print the differences | 2017-08-01 | |
* | Mirror dpdgraph's travis test more accurately | 2017-06-08 | |
* | Add coq-dpdgraph CI | 2017-06-02 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Have coq-dpdgraph ci test print the differences | 2017-08-01 | |
* | Mirror dpdgraph's travis test more accurately | 2017-06-08 | |
* | Add coq-dpdgraph CI | 2017-06-02 |