| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | arguments-command.rst | 16280 | logplain |
| -rw-r--r-- | canonical.rst | 18310 | logplain |
| -rw-r--r-- | evars.rst | 3910 | logplain |
| -rw-r--r-- | implicit-arguments.rst | 21057 | logplain |
| -rw-r--r-- | index.rst | 971 | logplain |
| -rw-r--r-- | match.rst | 27522 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |