| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | DependentEvars.out | 1522 | logplain |
| -rw-r--r-- | DependentEvars.v | 466 | logplain |
| -rw-r--r-- | DependentEvars2.out | 2079 | logplain |
| -rw-r--r-- | DependentEvars2.v | 519 | logplain |
| -rw-r--r-- | ShowGoal.out | 1129 | logplain |
| -rw-r--r-- | ShowGoal.v | 206 | logplain |
| -rw-r--r-- | ShowProofDiffs.out | 2481 | logplain |
| -rw-r--r-- | ShowProofDiffs.v | 222 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |