| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .merlin.in | 4 | logplain |
| d--------- | btauto | 327 | logplain |
| d--------- | cc | 391 | logplain |
| d--------- | derive | 243 | logplain |
| d--------- | extraction | 1909 | logplain |
| d--------- | firstorder | 588 | logplain |
| d--------- | fourier | 44 | logplain |
| d--------- | funind | 946 | logplain |
| d--------- | ltac | 2096 | logplain |
| d--------- | micromega | 2041 | logplain |
| d--------- | nsatz | 461 | logplain |
| d--------- | omega | 443 | logplain |
| d--------- | rtauto | 375 | logplain |
| d--------- | setoid_ring | 1241 | logplain |
| d--------- | ssr | 1130 | logplain |
| d--------- | ssrmatching | 313 | logplain |
| d--------- | syntax | 636 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |