| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 4289.v | 261 | logplain |
| -rw-r--r-- | Back.v | 196 | logplain |
| -rw-r--r-- | Evar.v | 178 | logplain |
| -rw-r--r-- | ParalITP.v | 740 | logplain |
| -rw-r--r-- | ParalITP_smallproofs.v | 62715 | logplain |
| -rw-r--r-- | proof_block.v | 964 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |