| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | basic.rst | 19956 | logplain |
| -rw-r--r-- | conversion.rst | 6141 | logplain |
| -rw-r--r-- | index.rst | 1761 | logplain |
| -rw-r--r-- | inductive.rst | 63235 | logplain |
| -rw-r--r-- | records.rst | 12813 | logplain |
| -rw-r--r-- | sections.rst | 3418 | logplain |
| -rw-r--r-- | sorts.rst | 3564 | logplain |
| -rw-r--r-- | variants.rst | 8146 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |