| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BinNat.v | 30195 | logplain |
| -rw-r--r-- | BinNatDef.v | 8722 | logplain |
| -rw-r--r-- | NArith.v | 1263 | logplain |
| -rw-r--r-- | Ndec.v | 9507 | logplain |
| -rw-r--r-- | Ndigits.v | 21505 | logplain |
| -rw-r--r-- | Ndist.v | 10819 | logplain |
| -rw-r--r-- | Ndiv_def.v | 1279 | logplain |
| -rw-r--r-- | Ngcd_def.v | 1240 | logplain |
| -rw-r--r-- | Nnat.v | 7616 | logplain |
| -rw-r--r-- | Nsqrt_def.v | 864 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |