package info (click to toggle)
coq-doc 8.4pl4-2
  • links: PTS, VCS
  • area: non-free
  • in suites: stretch
  • size: 21,852 kB
  • ctags: 24,335
  • sloc: ml: 140,953; ansic: 1,982; lisp: 1,406; sh: 1,347; makefile: 572; sed: 2

Folder: setoid_ring

d .. (parent)
- - rw-r--r-- 924 Algebra_syntax.v
- - rw-r--r-- 1,779 ArithRing.v
- - rw-r--r-- 2,208 BinList.v
- - rw-r--r-- 8,973 Cring.v
- - rw-r--r-- 581 Field.v
- - rw-r--r-- 18,908 Field_tac.v
- - rw-r--r-- 64,820 Field_theory.v
- - rw-r--r-- 25,190 InitialRing.v
- - rw-r--r-- 1,304 Integral_domain.v
- - rw-r--r-- 767 NArithRing.v
- - rw-r--r-- 9,480 Ncring.v
- - rw-r--r-- 6,129 Ncring_initial.v
- - rw-r--r-- 16,826 Ncring_polynom.v
- - rw-r--r-- 9,436 Ncring_tac.v
- - rw-r--r-- 3,239 RealField.v
- - rw-r--r-- 1,448 Ring.v
- - rw-r--r-- 817 Ring_base.v
- - rw-r--r-- 1,635 Ring_equiv.v
- - rw-r--r-- 43,279 Ring_polynom.v
- - rw-r--r-- 13,831 Ring_tac.v
- - rw-r--r-- 18,387 Ring_theory.v
- - rw-r--r-- 779 Rings_Q.v
- - rw-r--r-- 919 Rings_R.v
- - rw-r--r-- 306 Rings_Z.v
- - rw-r--r-- 1,526 ZArithRing.v
- - rw-r--r-- 41,520 newring.ml4
- - rw-r--r-- 27 newring_plugin.mllib
- - rw-r--r-- 334 vo.itarget