| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAdd.v | 2767 | logplain |
| -rw-r--r-- | NAddOrder.v | 1546 | logplain |
| -rw-r--r-- | NAxioms.v | 2743 | logplain |
| -rw-r--r-- | NBase.v | 5120 | logplain |
| -rw-r--r-- | NBits.v | 41385 | logplain |
| -rw-r--r-- | NDefOps.v | 11677 | logplain |
| -rw-r--r-- | NDiv.v | 7420 | logplain |
| -rw-r--r-- | NGcd.v | 7099 | logplain |
| -rw-r--r-- | NIso.v | 3265 | logplain |
| -rw-r--r-- | NLcm.v | 8353 | logplain |
| -rw-r--r-- | NLog.v | 877 | logplain |
| -rw-r--r-- | NMaxMin.v | 4097 | logplain |
| -rw-r--r-- | NMulOrder.v | 2732 | logplain |
| -rw-r--r-- | NOrder.v | 6802 | logplain |
| -rw-r--r-- | NParity.v | 2353 | logplain |
| -rw-r--r-- | NPow.v | 4589 | logplain |
| -rw-r--r-- | NProperties.v | 1263 | logplain |
| -rw-r--r-- | NSqrt.v | 2419 | logplain |
| -rw-r--r-- | NStrongRec.v | 5564 | logplain |
| -rw-r--r-- | NSub.v | 9748 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |