| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAdd.v | 2809 | logplain |
| -rw-r--r-- | NAddOrder.v | 1597 | logplain |
| -rw-r--r-- | NAxioms.v | 1387 | logplain |
| -rw-r--r-- | NBase.v | 5943 | logplain |
| -rw-r--r-- | NDefOps.v | 12830 | logplain |
| -rw-r--r-- | NDiv.v | 7556 | logplain |
| -rw-r--r-- | NIso.v | 3310 | logplain |
| -rw-r--r-- | NMulOrder.v | 2763 | logplain |
| -rw-r--r-- | NOrder.v | 6833 | logplain |
| -rw-r--r-- | NProperties.v | 753 | logplain |
| -rw-r--r-- | NStrongRec.v | 5983 | logplain |
| -rw-r--r-- | NSub.v | 6994 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |