| Mode | Name | Size | |
|---|---|---|---|
| d--------- | btauto | 278 | logplain |
| d--------- | cc | 347 | logplain |
| d--------- | derive | 237 | logplain |
| d--------- | extraction | 1782 | logplain |
| d--------- | firstorder | 544 | logplain |
| d--------- | fourier | 284 | logplain |
| d--------- | funind | 902 | logplain |
| d--------- | ltac | 2005 | logplain |
| d--------- | micromega | 1278 | logplain |
| d--------- | nsatz | 455 | logplain |
| d--------- | omega | 396 | logplain |
| d--------- | quote | 195 | logplain |
| d--------- | romega | 365 | logplain |
| d--------- | rtauto | 369 | logplain |
| d--------- | setoid_ring | 1193 | logplain |
| d--------- | ssrmatching | 218 | logplain |
| d--------- | syntax | 568 | logplain |
| d--------- | xml | 34 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |