| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAxioms.v | 918 | logplain |
| -rw-r--r-- | NBase.v | 7046 | logplain |
| -rw-r--r-- | NDepRec.v | 2627 | logplain |
| -rw-r--r-- | NDomain.v | 3408 | logplain |
| -rw-r--r-- | NIso.v | 3204 | logplain |
| -rw-r--r-- | NMinus.v | 5026 | logplain |
| -rw-r--r-- | NMiscFunct.v | 11101 | logplain |
| -rw-r--r-- | NOrder.v | 10529 | logplain |
| -rw-r--r-- | NOtherInd.v | 5443 | logplain |
| -rw-r--r-- | NPlus.v | 4430 | logplain |
| -rw-r--r-- | NPred.v | 1201 | logplain |
| -rw-r--r-- | NStrongRec.v | 2119 | logplain |
| -rw-r--r-- | NTimes.v | 3729 | logplain |
| -rw-r--r-- | NTimesOrder.v | 5183 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |