| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00000-title.rst | 14 | logplain |
| -rw-r--r-- | 11906-micromega-booleans.rst | 260 | logplain |
| -rw-r--r-- | 12246-master+apply-in-many-hyps.rst | 187 | logplain |
| -rw-r--r-- | 12399-rm-prolog.rst | 159 | logplain |
| -rw-r--r-- | 12423-rm-info.rst | 133 | logplain |
| -rw-r--r-- | 12552-zify-pre-hook.rst | 182 | logplain |
| -rw-r--r-- | 12648-zify-int63.rst | 182 | logplain |
| -rw-r--r-- | 12993-remove-cutrewrite.rst | 157 | logplain |
| -rw-r--r-- | 13237-master+fix13235-no-degenerate-in-hyps-clause.rst | 285 | logplain |
| -rw-r--r-- | 13337-master+improve-error-dependent-intro-wildcard.rst | 281 | logplain |
| -rw-r--r-- | 13373-master+fix13363-metas-posed-to-evars-in-wrong-env.rst | 272 | logplain |
| -rw-r--r-- | 13381-bfs_eauto.rst | 341 | logplain |
| -rw-r--r-- | 13403-occs_nums_nat.rst | 309 | logplain |
| -rw-r--r-- | 13417-no_int_or_var.rst | 287 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |