| Mode | Name | Size | |
|---|---|---|---|
| d--------- | correctness | 1920 | logplain |
| d--------- | extraction | 872 | logplain |
| d--------- | field | 197 | logplain |
| d--------- | fourier | 197 | logplain |
| d--------- | graphs | 107 | logplain |
| d--------- | interface | 1219 | logplain |
| d--------- | jprover | 519 | logplain |
| d--------- | omega | 191 | logplain |
| d--------- | ring | 564 | logplain |
| d--------- | romega | 236 | logplain |
| d--------- | xml | 417 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |