| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .merlin.in | 4 | logplain |
| d--------- | btauto | 205 | logplain |
| d--------- | cc | 379 | logplain |
| d--------- | derive | 195 | logplain |
| d--------- | extraction | 1070 | logplain |
| d--------- | firstorder | 576 | logplain |
| d--------- | funind | 991 | logplain |
| d--------- | ltac | 2125 | logplain |
| d--------- | micromega | 1641 | logplain |
| d--------- | nsatz | 414 | logplain |
| d--------- | omega | 235 | logplain |
| d--------- | ring | 266 | logplain |
| d--------- | rtauto | 290 | logplain |
| d--------- | ssr | 1006 | logplain |
| d--------- | ssrmatching | 260 | logplain |
| d--------- | ssrsearch | 123 | logplain |
| d--------- | syntax | 721 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |