package info (click to toggle)
ssreflect 2.5.0-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 7,120 kB
  • sloc: ml: 506; sh: 300; makefile: 42

Folder: algebra

d .. (parent)
d d rwxr-xr-x 96 num_theory
- - rw-r--r-- 957 Make
- - rw-r--r-- 100 Makefile
- - rw-r--r-- 1,064 all_algebra.v
- - rw-r--r-- 40,291 archimedean.v
- - rw-r--r-- 8,810 countalg.v
- - rw-r--r-- 18,724 finalg.v
- - rw-r--r-- 11,505 fraction.v
- - rw-r--r-- 40,644 intdiv.v
- - rw-r--r-- 31,386 interval.v
- - rw-r--r-- 61,388 interval_inference.v
- - rw-r--r-- 195,097 matrix.v
- - rw-r--r-- 133,303 mxalgebra.v
- - rw-r--r-- 85,081 mxpoly.v
- - rw-r--r-- 24,182 mxred.v
- - rw-r--r-- 126,088 poly.v
- - rw-r--r-- 18,949 polyXY.v
- - rw-r--r-- 129,081 polydiv.v
- - rw-r--r-- 27,124 qpoly.v
- - rw-r--r-- 47,495 rat.v
- - rw-r--r-- 17,886 ring_quotient.v
- - rw-r--r-- 67,013 sesquilinear.v
- - rw-r--r-- 30,002 spectral.v
- - rw-r--r-- 298,653 ssralg.v
- - rw-r--r-- 57,863 ssrint.v
- - rw-r--r-- 89,542 vector.v
- - rw-r--r-- 16,227 zmodp.v