| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAxioms.v | 2490 | logplain |
| -rw-r--r-- | NBase.v | 8240 | logplain |
| -rw-r--r-- | NIso.v | 4125 | logplain |
| -rw-r--r-- | NMinus.v | 5875 | logplain |
| -rw-r--r-- | NOrder.v | 15192 | logplain |
| -rw-r--r-- | NPlus.v | 5357 | logplain |
| -rw-r--r-- | NPlusOrder.v | 3917 | logplain |
| -rw-r--r-- | NTimes.v | 3288 | logplain |
| -rw-r--r-- | NTimesOrder.v | 3893 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |