| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00000-title.rst | 44 | logplain |
| -rw-r--r-- | 13202-debug-infra.rst | 602 | logplain |
| -rw-r--r-- | 13725-hint-rw-local.rst | 284 | logplain |
| -rw-r--r-- | 13758-remove_hide_obligations.rst | 135 | logplain |
| -rw-r--r-- | 13763-remove_searchhead.rst | 163 | logplain |
| -rw-r--r-- | 13764-remove_add_injtyp.rst | 286 | logplain |
| -rw-r--r-- | 13852-no-collision-projection.rst | 268 | logplain |
| -rw-r--r-- | 13909-reduce-ambiguous-paths.rst | 321 | logplain |
| -rw-r--r-- | 13912-remove-bijint.rst | 249 | logplain |
| -rw-r--r-- | 14093-fix-14092.rst | 235 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |