| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | NAxioms.v | 1614 | logplain |
| -rw-r--r-- | NBase.v | 7254 | logplain |
| -rw-r--r-- | NIso.v | 3440 | logplain |
| -rw-r--r-- | NMinus.v | 5143 | logplain |
| -rw-r--r-- | NOrder.v | 10784 | logplain |
| -rw-r--r-- | NPlus.v | 4545 | logplain |
| -rw-r--r-- | NTimes.v | 3848 | logplain |
| -rw-r--r-- | NTimesOrder.v | 5180 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |