| 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-- | 13106-doc-and-changelog-for-13106.rst | 206 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |