| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | IntsZmisc.v | 5359 | logplain |
| -rw-r--r-- | Pmod.v | 18844 | logplain |
| -rw-r--r-- | Ppow.v | 1317 | logplain |
| -rw-r--r-- | ZAux.v | 49945 | logplain |
| -rw-r--r-- | ZDivModAux.v | 16562 | logplain |
| -rw-r--r-- | ZPowerAux.v | 7169 | logplain |
| -rw-r--r-- | ZSum.v | 12332 | logplain |
| -rw-r--r-- | Zmod.v | 2213 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |