| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAdd.v | 2920 | logplain |
| -rw-r--r-- | NAddOrder.v | 1699 | logplain |
| -rw-r--r-- | NAxioms.v | 2893 | logplain |
| -rw-r--r-- | NBase.v | 5267 | logplain |
| -rw-r--r-- | NBits.v | 41874 | logplain |
| -rw-r--r-- | NDefOps.v | 11844 | logplain |
| -rw-r--r-- | NDiv.v | 7614 | logplain |
| -rw-r--r-- | NGcd.v | 9817 | logplain |
| -rw-r--r-- | NIso.v | 3415 | logplain |
| -rw-r--r-- | NLcm.v | 8510 | logplain |
| -rw-r--r-- | NLog.v | 1027 | logplain |
| -rw-r--r-- | NMaxMin.v | 4023 | logplain |
| -rw-r--r-- | NMulOrder.v | 2882 | logplain |
| -rw-r--r-- | NOrder.v | 7051 | logplain |
| -rw-r--r-- | NParity.v | 2471 | logplain |
| -rw-r--r-- | NPow.v | 4747 | logplain |
| -rw-r--r-- | NProperties.v | 1413 | logplain |
| -rw-r--r-- | NSqrt.v | 2569 | logplain |
| -rw-r--r-- | NStrongRec.v | 5714 | logplain |
| -rw-r--r-- | NSub.v | 9977 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |