| 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-- | 13997-ltac2-ident-ffi.rst | 217 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |