| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00000-title.rst | 40 | logplain |
| -rw-r--r-- | 13624-master+fix13581-extraction-letin-in-ind-arity.rst | 247 | logplain |
| -rw-r--r-- | 13822-rm-depr-cmdline.rst | 202 | logplain |
| -rw-r--r-- | 13876-coqc+no_multiple_files.rst | 311 | logplain |
| -rw-r--r-- | 14024-coqdep-errors.rst | 361 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |