| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00000-title.rst | 16 | logplain |
| -rw-r--r-- | 10832-master+fix6082-7766-overriding-notation-format.rst | 331 | logplain |
| -rw-r--r-- | 11113-remove-compat.rst | 199 | logplain |
| -rw-r--r-- | 11120-master+refactoring-application-printing.rst | 1038 | logplain |
| -rw-r--r-- | 11172-master+coercion-notation-interleaved-printing.rst | 175 | logplain |
| -rw-r--r-- | 11590-master+fix9741-only-printing-does-not-reserve-keyword.rst | 218 | logplain |
| -rw-r--r-- | 11602-master+support-only-parsing-where-clause.rst | 280 | logplain |
| -rw-r--r-- | 11650-parensNew.rst | 224 | logplain |
| -rw-r--r-- | 11848-nicer-decimal-printing.rst | 183 | logplain |
| -rw-r--r-- | 12163-fix-12159.rst | 648 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |