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

d .. (parent)
- - rw-r--r-- 18,623 COrdLemmas.v
- - rw-r--r-- 26,427 CalculusTheorems.v
- - rw-r--r-- 32,081 Composition.v
- - rw-r--r-- 33,769 Continuity.v
- - rw-r--r-- 12,929 Derivative.v
- - rw-r--r-- 21,690 DerivativeOps.v
- - rw-r--r-- 11,279 Differentiability.v
- - rw-r--r-- 21,069 FTC.v
- - rw-r--r-- 34,284 FunctSequence.v
- - rw-r--r-- 26,066 FunctSeries.v
- - rw-r--r-- 16,365 FunctSums.v
- - rw-r--r-- 51,377 Integral.v
- - rw-r--r-- 10,188 IntegrationRules.v
- - rw-r--r-- 7,377 IntervalFunct.v
- - rw-r--r-- 32,995 MoreFunSeries.v
- - rw-r--r-- 37,328 MoreFunctions.v
- - rw-r--r-- 22,531 MoreIntegrals.v
- - rw-r--r-- 44,986 MoreIntervals.v
- - rw-r--r-- 22,216 NthDerivative.v
- - rw-r--r-- 15,202 PartFunEquality.v
- - rw-r--r-- 6,687 PartInterval.v
- - rw-r--r-- 25,820 Partitions.v
- - rw-r--r-- 37,384 RefLemma.v
- - rw-r--r-- 23,743 RefSepRef.v
- - rw-r--r-- 28,200 RefSeparated.v
- - rw-r--r-- 45,082 RefSeparating.v
- - rw-r--r-- 23,466 Rolle.v
- - rw-r--r-- 20,619 StrongIVT.v
- - rw-r--r-- 14,777 Taylor.v
- - rw-r--r-- 27,763 TaylorLemma.v
- - rw-r--r-- 19,356 WeakIVT.v
- - rw-r--r-- 5,346 WeakIVTQ.v