| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .merlin | 4 | logplain |
| d--------- | btauto | 240 | logplain |
| d--------- | cc | 347 | logplain |
| d--------- | derive | 199 | logplain |
| d--------- | extraction | 1784 | logplain |
| d--------- | firstorder | 544 | logplain |
| d--------- | fourier | 246 | logplain |
| d--------- | funind | 902 | logplain |
| d--------- | ltac | 2014 | logplain |
| d--------- | micromega | 1281 | logplain |
| d--------- | nsatz | 417 | logplain |
| d--------- | omega | 358 | logplain |
| d--------- | quote | 157 | logplain |
| d--------- | romega | 327 | logplain |
| d--------- | rtauto | 331 | logplain |
| d--------- | setoid_ring | 1155 | logplain |
| d--------- | ssr | 1086 | logplain |
| d--------- | ssrmatching | 180 | logplain |
| d--------- | syntax | 564 | logplain |
| d--------- | xml | 34 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |