| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BZ5637.out | 71 | logplain |
| -rw-r--r-- | BZ5637.v | 110 | logplain |
| -rw-r--r-- | BZ5756.out | 71 | logplain |
| -rw-r--r-- | BZ5756.v | 99 | logplain |
| -rw-r--r-- | false.out | 70 | logplain |
| -rw-r--r-- | false.v | 122 | logplain |
| -rw-r--r-- | next-obligation.out | 80 | logplain |
| -rw-r--r-- | next-obligation.v | 148 | logplain |
| -rw-r--r-- | theorem.out | 72 | logplain |
| -rw-r--r-- | theorem.v | 122 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |