| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 13 | logplain |
| -rwxr-xr-x | 4722.sh | 248 | logplain |
| -rwxr-xr-x | 7595.sh | 99 | logplain |
| d--------- | 7595 | 67 | logplain |
| -rwxr-xr-x | 7704.sh | 83 | logplain |
| -rw-r--r-- | aux7704.v | 55 | logplain |
| -rwxr-xr-x | changelog.sh | 474 | logplain |
| -rwxr-xr-x | coqc_dash_o.sh | 241 | logplain |
| -rw-r--r-- | coqc_dash_o.v | 21 | logplain |
| -rwxr-xr-x | deps-checksum.sh | 228 | logplain |
| -rwxr-xr-x | deps-order.sh | 788 | logplain |
| -rwxr-xr-x | deps-utf8.sh | 471 | logplain |
| d--------- | deps | 224 | logplain |
| -rwxr-xr-x | exitstatus.sh | 146 | logplain |
| d--------- | exitstatus | 38 | logplain |
| -rwxr-xr-x | poly-capture-global-univs.sh | 253 | logplain |
| d--------- | poly-capture-global-univs | 142 | logplain |
| -rwxr-xr-x | printers.sh | 718 | logplain |
| -rwxr-xr-x | quick-include.sh | 170 | logplain |
| d--------- | quick-include | 70 | logplain |
| -rwxr-xr-x | quotation_token.sh | 430 | logplain |
| d--------- | quotation_token | 142 | logplain |
| -rwxr-xr-x | universes.sh | 457 | logplain |
| d--------- | universes | 118 | logplain |
| -rwxr-xr-x | votour.sh | 126 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |