| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00000-title.rst | 23 | logplain |
| -rw-r--r-- | 12094-app_inj_tail.rst | 253 | logplain |
| -rw-r--r-- | 12186-creal-new-modulus.rst | 360 | logplain |
| -rw-r--r-- | 12479-fix-int-ltb-notations.rst | 639 | logplain |
| -rw-r--r-- | 12556-fix-float-ltb-notations.rst | 586 | logplain |
| -rw-r--r-- | 12716-curry.rst | 167 | logplain |
| -rw-r--r-- | 12799-list-repeat.rst | 272 | logplain |
| -rw-r--r-- | 12801-cyclic-set.rst | 293 | logplain |
| -rw-r--r-- | 12861-nsatz-tactic-instances.rst | 402 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |