| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAxioms.v | 11811 | logplain |
| -rw-r--r-- | NDepRec.v | 2712 | logplain |
| -rw-r--r-- | NDomain.v | 2918 | logplain |
| -rw-r--r-- | NIso.v | 3400 | logplain |
| -rw-r--r-- | NLt.v | 4540 | logplain |
| -rw-r--r-- | NMiscFunct.v | 10605 | logplain |
| -rw-r--r-- | NOtherInd.v | 5358 | logplain |
| -rw-r--r-- | NPlus.v | 5533 | logplain |
| -rw-r--r-- | NPlusLt.v | 1436 | logplain |
| -rw-r--r-- | NStrongRec.v | 2147 | logplain |
| -rw-r--r-- | NTimes.v | 4456 | logplain |
| -rw-r--r-- | NTimesLt.v | 2035 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |