| Mode | Name | Size | |
|---|---|---|---|
| d--------- | correctness | 1927 | logplain |
| d--------- | extraction | 534 | logplain |
| d--------- | interface | 983 | logplain |
| d--------- | omega | 270 | logplain |
| d--------- | ring | 347 | logplain |
| d--------- | xml | 373 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |