package info (click to toggle)
rocq-stdlib 9.0.0-3
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 11,828 kB
  • sloc: python: 2,928; sh: 444; makefile: 319; javascript: 24; ml: 2

Folder: ZArith

d .. (parent)
- - rw-r--r-- 54,846 BinInt.v
- - rw-r--r-- 7,750 BinIntDef.v
- - rw-r--r-- 15,466 Int.v
- - rw-r--r-- 6,445 Wf_Z.v
- - rw-r--r-- 1,989 ZArith.v
- - rw-r--r-- 1,703 ZArith_base.v
- - rw-r--r-- 5,058 ZArith_dec.v
- - rw-r--r-- 3,617 Zabs.v
- - rw-r--r-- 6,393 Zbitwise.v
- - rw-r--r-- 5,667 Zbool.v
- - rw-r--r-- 5,360 Zcompare.v
- - rw-r--r-- 5,730 Zcomplements.v
- - rw-r--r-- 25,767 Zdiv.v
- - rw-r--r-- 1,938 Zdiv_facts.v
- - rw-r--r-- 2,173 Zeuclid.v
- - rw-r--r-- 8,009 Zeven.v
- - rw-r--r-- 9,303 Zgcd_alt.v
- - rw-r--r-- 4,184 Zhints.v
- - rw-r--r-- 2,139 Zmax.v
- - rw-r--r-- 1,909 Zmin.v
- - rw-r--r-- 1,313 Zminmax.v
- - rw-r--r-- 1,291 Zmisc.v
- - rw-r--r-- 31,226 Znat.v
- - rw-r--r-- 30,966 Znumtheory.v
- - rw-r--r-- 14,860 Zorder.v
- - rw-r--r-- 2,731 Zpow_alt.v
- - rw-r--r-- 1,524 Zpow_def.v
- - rw-r--r-- 8,352 Zpow_facts.v
- - rw-r--r-- 11,082 Zpower.v
- - rw-r--r-- 13,875 Zquot.v
- - rw-r--r-- 2,577 Zwf.v
- - rw-r--r-- 2,618 auxiliary.v