| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .merlin.in | 4 | logplain |
| d--------- | btauto | 217 | logplain |
| d--------- | cc | 391 | logplain |
| d--------- | derive | 207 | logplain |
| d--------- | extraction | 1082 | logplain |
| d--------- | firstorder | 588 | logplain |
| d--------- | funind | 963 | logplain |
| d--------- | ltac | 2062 | logplain |
| d--------- | micromega | 1653 | logplain |
| d--------- | nsatz | 426 | logplain |
| d--------- | omega | 247 | logplain |
| d--------- | rtauto | 302 | logplain |
| d--------- | setoid_ring | 296 | logplain |
| d--------- | ssr | 1018 | logplain |
| d--------- | ssrmatching | 272 | logplain |
| d--------- | syntax | 733 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |