Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Extraction: nicer implementation of Implicits | 2015-12-12 | |
* | JSON extraction: make explicit each group of mutually-recursive fixpoints | 2015-04-09 | |
* | Add extraction to JSON. | 2015-04-09 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Extraction: nicer implementation of Implicits | 2015-12-12 | |
* | JSON extraction: make explicit each group of mutually-recursive fixpoints | 2015-04-09 | |
* | Add extraction to JSON. | 2015-04-09 |