| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00000-title.rst | 45 | logplain |
| -rw-r--r-- | 10202-master+fix8011-stronger-check-on-typability-ltac-env.rst | 314 | logplain |
| -rw-r--r-- | 10858-stuck-classed.md | 738 | logplain |
| -rw-r--r-- | 11098-master+arguments-supports-anonymous-implicit.rst | 359 | logplain |
| -rw-r--r-- | 11235-non_maximal_implicit.rst | 280 | logplain |
| -rw-r--r-- | 11261-master+implicit-type-used-printing.rst | 281 | logplain |
| -rw-r--r-- | 11368-trailing_implicit_error.rst | 282 | logplain |
| -rw-r--r-- | 11579-inductive-params.rst | 337 | logplain |
| -rw-r--r-- | 11600-uniform-syntax.rst | 243 | logplain |
| -rw-r--r-- | 12121-master+fix11903-warn-non-truly-fixpoint.rst | 189 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |