| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAdd.v | 5294 | logplain |
| -rw-r--r-- | NAddOrder.v | 3864 | logplain |
| -rw-r--r-- | NAxioms.v | 2484 | logplain |
| -rw-r--r-- | NBase.v | 8524 | logplain |
| -rw-r--r-- | NDefOps.v | 9017 | logplain |
| -rw-r--r-- | NIso.v | 4132 | logplain |
| -rw-r--r-- | NMul.v | 3215 | logplain |
| -rw-r--r-- | NMulOrder.v | 4523 | logplain |
| -rw-r--r-- | NOrder.v | 15208 | logplain |
| -rw-r--r-- | NStrongRec.v | 3768 | logplain |
| -rw-r--r-- | NSub.v | 5663 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |