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