package info (click to toggle)
ssreflect 2.3.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 6,536 kB
  • sloc: ml: 506; sh: 190; lisp: 39; makefile: 39

Folder: algebra

d .. (parent)
- l rwxrwxrwx 13 AUTHORS → ../../AUTHORS
- l rwxrwxrwx 14 CeCILL-B → ../../CeCILL-B
- l rwxrwxrwx 16 INSTALL.md → ../../INSTALL.md
- - rw-r--r-- 829 Make
- - rw-r--r-- 100 Makefile
- l rwxrwxrwx 15 README.md → ../../README.md
- - rw-r--r-- 551 all_algebra.v
- - rw-r--r-- 29,558 archimedean.v
- - rw-r--r-- 3,887 countalg.v
- - rw-r--r-- 13,861 finalg.v
- - rw-r--r-- 11,281 fraction.v
- - rw-r--r-- 50,471 intdiv.v
- - rw-r--r-- 30,187 interval.v
- - rw-r--r-- 194,067 matrix.v
- - rw-r--r-- 133,232 mxalgebra.v
- - rw-r--r-- 84,362 mxpoly.v
- - rw-r--r-- 24,173 mxred.v
- - rw-r--r-- 122,145 poly.v
- - rw-r--r-- 18,471 polyXY.v
- - rw-r--r-- 128,723 polydiv.v
- - rw-r--r-- 25,980 qpoly.v
- - rw-r--r-- 34,824 rat.v
- - rw-r--r-- 16,738 ring_quotient.v
- - rw-r--r-- 67,395 sesquilinear.v
- - rw-r--r-- 29,944 spectral.v
- - rw-r--r-- 247,667 ssralg.v
- - rw-r--r-- 57,082 ssrint.v
- - rw-r--r-- 185,757 ssrnum.v
- - rw-r--r-- 86,001 vector.v
- - rw-r--r-- 14,044 zmodp.v