| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00000-title.rst | 12 | logplain |
| -rw-r--r-- | 10592-coqdoc-details.rst | 206 | logplain |
| -rw-r--r-- | 11302-better-timing-scripts-options.rst | 1764 | logplain |
| -rw-r--r-- | 11409-mltop+deprecate_use.rst | 313 | logplain |
| -rw-r--r-- | 11523-coqdep+refactor2.rst | 565 | logplain |
| -rw-r--r-- | 11617-toplevel+boot.rst | 203 | logplain |
| -rw-r--r-- | 11851-coqc-flags-fix.rst | 328 | logplain |
| -rw-r--r-- | 12005-remove-deprecated-coqtop-options.rst | 205 | logplain |
| -rw-r--r-- | 12006-issue5632.rst | 198 | logplain |
| -rw-r--r-- | 12033-master+coqdoc-fix7697-passing-binders-location.rst | 208 | logplain |
| -rw-r--r-- | 12037-coqdoc-preformatted.rst | 259 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |