| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CheckerMaker.v | 4333 | logplain |
| -rw-r--r-- | Examples.v | 3418 | logplain |
| -rw-r--r-- | NRing.v | 42103 | logplain |
| -rw-r--r-- | OrderedRing.v | 13333 | logplain |
| -rw-r--r-- | Refl.v | 1903 | logplain |
| -rw-r--r-- | RingMicromega.v | 21392 | logplain |
| -rw-r--r-- | VarMap.v | 6228 | logplain |
| -rw-r--r-- | ZCoeff.v | 4158 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |