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: setoid_ring

d .. (parent)
- - rw-r--r-- 1,598 Algebra_syntax.v
- - rw-r--r-- 2,400 ArithRing.v
- - rw-r--r-- 2,533 BinList.v
- - rw-r--r-- 9,274 Cring.v
- - rw-r--r-- 755 Field.v
- - rw-r--r-- 20,769 Field_tac.v
- - rw-r--r-- 56,610 Field_theory.v
- - rw-r--r-- 28,614 InitialRing.v
- - rw-r--r-- 2,107 Integral_domain.v
- - rw-r--r-- 943 NArithRing.v
- - rw-r--r-- 9,910 Ncring.v
- - rw-r--r-- 7,060 Ncring_initial.v
- - rw-r--r-- 17,469 Ncring_polynom.v
- - rw-r--r-- 11,382 Ncring_tac.v
- - rw-r--r-- 4,511 RealField.v
- - rw-r--r-- 1,780 Ring.v
- - rw-r--r-- 987 Ring_base.v
- - rw-r--r-- 45,076 Ring_polynom.v
- - rw-r--r-- 15,781 Ring_tac.v
- - rw-r--r-- 19,231 Ring_theory.v
- - rw-r--r-- 1,563 Rings_Q.v
- - rw-r--r-- 1,714 Rings_R.v
- - rw-r--r-- 1,053 Rings_Z.v
- - rw-r--r-- 1,825 ZArithRing.v