| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00000-title.rst | 16 | logplain |
| -rw-r--r-- | 11986-float-low-level-printing.rst | 236 | logplain |
| -rw-r--r-- | 12960-master+fix9403-missing-flattening-app-notations.rst | 380 | logplain |
| -rw-r--r-- | 12979-doc-numbers.rst | 178 | logplain |
| -rw-r--r-- | 13026-master+fix-printing-custom-no-level-8.2.rst | 307 | logplain |
| -rw-r--r-- | 13067-master+fix-display-parentheses-default-coqide.rst | 287 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |