| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAxioms.v | 11331 | logplain |
| -rw-r--r-- | NDepRec.v | 2656 | logplain |
| -rw-r--r-- | NDomain.v | 2743 | logplain |
| -rw-r--r-- | NIso.v | 3396 | logplain |
| -rw-r--r-- | NLt.v | 4482 | logplain |
| -rw-r--r-- | NMiscFunct.v | 10580 | logplain |
| -rw-r--r-- | NOtherInd.v | 5333 | logplain |
| -rw-r--r-- | NPlus.v | 4820 | logplain |
| -rw-r--r-- | NPlusLt.v | 1412 | logplain |
| -rw-r--r-- | NStrongRec.v | 2122 | logplain |
| -rw-r--r-- | NTimes.v | 4398 | logplain |
| -rw-r--r-- | NTimesLt.v | 2011 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |