| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BinNat.v | 31285 | logplain |
| -rw-r--r-- | BinNatDef.v | 7086 | logplain |
| -rw-r--r-- | NArith.v | 1113 | logplain |
| -rw-r--r-- | Ndec.v | 9465 | logplain |
| -rw-r--r-- | Ndigits.v | 19679 | logplain |
| -rw-r--r-- | Ndist.v | 11129 | logplain |
| -rw-r--r-- | Ndiv_def.v | 1262 | logplain |
| -rw-r--r-- | Ngcd_def.v | 1090 | logplain |
| -rw-r--r-- | Nnat.v | 7259 | logplain |
| -rw-r--r-- | Nsqrt_def.v | 916 | logplain |
| -rw-r--r-- | intro.tex | 159 | logplain |
| -rw-r--r-- | vo.itarget | 105 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |