| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 1703.v | 184 | logplain |
| -rw-r--r-- | 1898.v | 115 | logplain |
| -rw-r--r-- | 1915.v | 106 | logplain |
| -rw-r--r-- | 2006.v | 593 | logplain |
| -rw-r--r-- | 2251.v | 183 | logplain |
| -rw-r--r-- | 2406.v | 139 | logplain |
| -rw-r--r-- | 2586.v | 120 | logplain |
| -rw-r--r-- | 2846.v | 46 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |