| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00000-title.rst | 34 | logplain |
| -rw-r--r-- | 13236-ltac2-printf.rst | 314 | logplain |
| -rw-r--r-- | 13442-ltac2-abstract-ffi.rst | 244 | logplain |
| -rw-r--r-- | 13774-ltac2-deprecated-attribute-term.rst | 234 | logplain |
| -rw-r--r-- | 13914-ltac2-cast-fun-return.rst | 205 | logplain |
| -rw-r--r-- | 13920-ltac2-ind-api.rst | 223 | logplain |
| -rw-r--r-- | 13939-ltac2-open-constr-scope.rst | 218 | logplain |
| -rw-r--r-- | 13997-ltac2-ident-ffi.rst | 217 | logplain |
| -rw-r--r-- | 14094-ltac2-notation-level-fix.rst | 227 | logplain |
| -rw-r--r-- | 14128-ltac2-bool-equal-rename.rst | 198 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |