| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Back.v | 194 | logplain |
| -rw-r--r-- | Evar.v | 178 | logplain |
| -rw-r--r-- | ParalITP.v | 741 | logplain |
| -rw-r--r-- | ParalITP_fail_on_qed.v | 869 | logplain |
| -rw-r--r-- | ParalITP_smallproofs.v | 62714 | logplain |
| -rw-r--r-- | PrimNotation.v | 2688 | logplain |
| -rw-r--r-- | bug_4289.v | 261 | logplain |
| -rw-r--r-- | proof_block.v | 965 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |