| Mode | Name | Size | |
|---|---|---|---|
| d--------- | after | 284 | logplain |
| d--------- | aggregate | 107 | logplain |
| d--------- | before | 107 | logplain |
| d--------- | error | 70 | logplain |
| d--------- | per-file-after | 121 | logplain |
| d--------- | per-file-before | 70 | logplain |
| d--------- | precomputed-time-tests | 414 | logplain |
| -rwxr-xr-x | run.sh | 4424 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |