| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAxioms.v | 2499 | logplain |
| -rw-r--r-- | NBase.v | 8538 | logplain |
| -rw-r--r-- | NDefOps.v | 9078 | logplain |
| -rw-r--r-- | NIso.v | 4132 | logplain |
| -rw-r--r-- | NMinus.v | 5881 | logplain |
| -rw-r--r-- | NOrder.v | 15294 | logplain |
| -rw-r--r-- | NPlus.v | 5361 | logplain |
| -rw-r--r-- | NPlusOrder.v | 3922 | logplain |
| -rw-r--r-- | NStrongRec.v | 3777 | logplain |
| -rw-r--r-- | NTimes.v | 3292 | logplain |
| -rw-r--r-- | NTimesOrder.v | 4634 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |