| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .merlin.in | 4 | logplain |
| d--------- | btauto | 240 | logplain |
| d--------- | cc | 347 | logplain |
| d--------- | derive | 199 | logplain |
| d--------- | extraction | 1821 | logplain |
| d--------- | firstorder | 544 | logplain |
| d--------- | funind | 902 | logplain |
| d--------- | ltac | 2052 | logplain |
| d--------- | micromega | 1738 | logplain |
| d--------- | nsatz | 417 | logplain |
| d--------- | omega | 358 | logplain |
| d--------- | quote | 157 | logplain |
| d--------- | romega | 327 | logplain |
| d--------- | rtauto | 331 | logplain |
| d--------- | setoid_ring | 1197 | logplain |
| d--------- | ssr | 1086 | logplain |
| d--------- | ssrmatching | 269 | logplain |
| d--------- | syntax | 756 | logplain |
| d--------- | xml | 34 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |