package info (click to toggle)
coq-corn 8.20.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 7,216 kB
  • sloc: python: 112; haskell: 69; makefile: 39; sh: 4

Folder: broken

d .. (parent)
d d rwxr-xr-x 34 algebra
- - rw-r--r-- 10,256 CCayleyHamilton.v
- - rw-r--r-- 5,313 CPoly_Lagrange.v
- - rw-r--r-- 2,274 CompletePointFree.v
- - rw-r--r-- 10,050 DivDiff_RepeatedIntegral.v
- - rw-r--r-- 3,141 IntegrationExamples.v
- - rw-r--r-- 10,040 NewAbstractIntegration.v
- - rw-r--r-- 14,116 SimpsonIntegration.v
- - rw-r--r-- 3,638 abstract_gsum.v
- - rw-r--r-- 6,777 diff.v
- - rw-r--r-- 122,436 lagrange.v
- - rw-r--r-- 56,745 matrixClass.v