| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00000-title.rst | 45 | logplain |
| -rw-r--r-- | 07825-rechable-from-evars.rst | 625 | logplain |
| -rw-r--r-- | 10331-minim-prop-toset.rst | 290 | logplain |
| -rw-r--r-- | 12756-dont-refresh-argument-names.rst | 407 | logplain |
| -rw-r--r-- | 12768-master+warn-non-underscore-catch-all-pattern-matching.rst | 292 | logplain |
| -rw-r--r-- | 13106-doc-and-changelog-for-13106.rst | 206 | logplain |
| -rw-r--r-- | 13166-master+fixes13165-missing-impargs-defined-fields.rst | 236 | logplain |
| -rw-r--r-- | 13183-using-att.rst | 253 | logplain |
| -rw-r--r-- | 13217-master+fix13216-typeclass-for-match-return-clause.rst | 270 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |