| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | _tags | 1090 | logplain |
| d--------- | cc | 346 | logplain |
| d--------- | dp | 543 | logplain |
| d--------- | extraction | 895 | logplain |
| d--------- | field | 305 | logplain |
| d--------- | firstorder | 543 | logplain |
| d--------- | fourier | 283 | logplain |
| d--------- | funind | 817 | logplain |
| d--------- | groebner | 429 | logplain |
| d--------- | micromega | 1179 | logplain |
| d--------- | omega | 354 | logplain |
| -rw-r--r-- | plugins.itarget | 56 | logplain |
| -rw-r--r-- | pluginsbyte.itarget | 602 | logplain |
| -rw-r--r-- | pluginsdyn.itarget | 625 | logplain |
| -rw-r--r-- | pluginsopt.itarget | 625 | logplain |
| -rw-r--r-- | pluginsvo.itarget | 218 | logplain |
| d--------- | quote | 194 | logplain |
| d--------- | ring | 607 | logplain |
| d--------- | romega | 364 | logplain |
| d--------- | rtauto | 368 | logplain |
| d--------- | setoid_ring | 711 | logplain |
| d--------- | subtac | 1047 | logplain |
| d--------- | syntax | 562 | logplain |
| d--------- | xml | 847 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |