| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ZAxioms.v | 478 | logplain |
| -rw-r--r-- | ZBase.v | 841 | logplain |
| -rw-r--r-- | ZDec.v | 136 | logplain |
| -rw-r--r-- | ZDomain.v | 1702 | logplain |
| -rw-r--r-- | ZOrder.v | 12661 | logplain |
| -rw-r--r-- | ZPlus.v | 6718 | logplain |
| -rw-r--r-- | ZPlusOrder.v | 5165 | logplain |
| -rw-r--r-- | ZPred.v | 2248 | logplain |
| -rw-r--r-- | ZTimes.v | 4009 | logplain |
| -rw-r--r-- | ZTimesOrder.v | 2989 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |