| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 5 | logplain |
| -rw-r--r-- | BinInt.v | 31187 | logplain |
| -rw-r--r-- | Wf_Z.v | 6270 | logplain |
| -rw-r--r-- | ZArith.v | 819 | logplain |
| -rw-r--r-- | ZArith_base.v | 1229 | logplain |
| -rw-r--r-- | ZArith_dec.v | 5214 | logplain |
| -rw-r--r-- | Zabs.v | 4242 | logplain |
| -rw-r--r-- | Zbinary.v | 10151 | logplain |
| -rw-r--r-- | Zbool.v | 5691 | logplain |
| -rw-r--r-- | Zcompare.v | 19113 | logplain |
| -rw-r--r-- | Zcomplements.v | 5822 | logplain |
| -rw-r--r-- | Zdiv.v | 10587 | logplain |
| -rw-r--r-- | Zeven.v | 6198 | logplain |
| -rw-r--r-- | Zhints.v | 13503 | logplain |
| -rw-r--r-- | Zlogarithm.v | 8132 | logplain |
| -rw-r--r-- | Zmin.v | 3247 | logplain |
| -rw-r--r-- | Zmisc.v | 3213 | logplain |
| -rw-r--r-- | Znat.v | 4693 | logplain |
| -rw-r--r-- | Znumtheory.v | 18252 | logplain |
| -rw-r--r-- | Zorder.v | 27508 | logplain |
| -rw-r--r-- | Zpower.v | 12115 | logplain |
| -rw-r--r-- | Zsqrt.v | 5409 | logplain |
| -rw-r--r-- | Zwf.v | 2514 | logplain |
| -rw-r--r-- | auxiliary.v | 4436 | logplain |
| -rwxr-xr-x | intro.tex | 238 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |