| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | deps-checksum.sh | 250 | logplain |
| -rwxr-xr-x | deps-order.sh | 814 | logplain |
| -rwxr-xr-x | deps-utf8.sh | 493 | logplain |
| d--------- | deps | 224 | logplain |
| -rwxr-xr-x | exitstatus.sh | 276 | logplain |
| d--------- | exitstatus | 38 | logplain |
| -rwxr-xr-x | printers.sh | 132 | logplain |
| -rwxr-xr-x | universes.sh | 457 | logplain |
| d--------- | universes | 39 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |