| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | _tags | 1188 | logplain |
| d--------- | cc | 346 | logplain |
| d--------- | dp | 584 | logplain |
| d--------- | extraction | 895 | logplain |
| d--------- | field | 267 | logplain |
| d--------- | firstorder | 543 | logplain |
| d--------- | fourier | 245 | logplain |
| d--------- | funind | 779 | logplain |
| d--------- | groebner | 391 | logplain |
| d--------- | interface | 1373 | logplain |
| d--------- | micromega | 1063 | logplain |
| d--------- | omega | 316 | logplain |
| -rw-r--r-- | plugins.itarget | 56 | logplain |
| -rw-r--r-- | pluginsbyte.itarget | 667 | logplain |
| -rw-r--r-- | pluginsopt.itarget | 692 | logplain |
| -rw-r--r-- | pluginsvo.itarget | 1416 | logplain |
| d--------- | quote | 156 | logplain |
| d--------- | ring | 569 | logplain |
| d--------- | romega | 326 | logplain |
| d--------- | rtauto | 330 | logplain |
| d--------- | setoid_ring | 673 | logplain |
| d--------- | subtac | 1127 | logplain |
| d--------- | syntax | 562 | logplain |
| d--------- | xml | 847 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |