https://github.com/c-corn/corn
Tip revision: bdb702dd4518c2435fd142ae652c607ee2e150b1 authored by Pierre Roux on 01 February 2024, 10:26:39 UTC
Merge pull request #203 from coq-community/coq_18590
Merge pull request #203 from coq-community/coq_18590
Tip revision: bdb702d
| File | Mode | Size |
|---|---|---|
| COrdLemmas.v | -rw-r--r-- | 18.2 KB |
| CalculusTheorems.v | -rw-r--r-- | 25.8 KB |
| Composition.v | -rw-r--r-- | 31.3 KB |
| Continuity.v | -rw-r--r-- | 33.0 KB |
| Derivative.v | -rw-r--r-- | 12.6 KB |
| DerivativeOps.v | -rw-r--r-- | 21.2 KB |
| Differentiability.v | -rw-r--r-- | 11.0 KB |
| FTC.v | -rw-r--r-- | 20.6 KB |
| FunctSequence.v | -rw-r--r-- | 33.5 KB |
| FunctSeries.v | -rw-r--r-- | 25.5 KB |
| FunctSums.v | -rw-r--r-- | 16.0 KB |
| Integral.v | -rw-r--r-- | 50.2 KB |
| IntegrationRules.v | -rw-r--r-- | 9.9 KB |
| IntervalFunct.v | -rw-r--r-- | 7.2 KB |
| MoreFunSeries.v | -rw-r--r-- | 32.2 KB |
| MoreFunctions.v | -rw-r--r-- | 36.5 KB |
| MoreIntegrals.v | -rw-r--r-- | 22.0 KB |
| MoreIntervals.v | -rw-r--r-- | 43.9 KB |
| NthDerivative.v | -rw-r--r-- | 21.7 KB |
| PartFunEquality.v | -rw-r--r-- | 14.8 KB |
| PartInterval.v | -rw-r--r-- | 6.5 KB |
| Partitions.v | -rw-r--r-- | 25.2 KB |
| RefLemma.v | -rw-r--r-- | 36.5 KB |
| RefSepRef.v | -rw-r--r-- | 23.2 KB |
| RefSeparated.v | -rw-r--r-- | 27.5 KB |
| RefSeparating.v | -rw-r--r-- | 44.0 KB |
| Rolle.v | -rw-r--r-- | 22.9 KB |
| StrongIVT.v | -rw-r--r-- | 20.1 KB |
| Taylor.v | -rw-r--r-- | 14.4 KB |
| TaylorLemma.v | -rw-r--r-- | 27.1 KB |
| WeakIVT.v | -rw-r--r-- | 18.9 KB |
| WeakIVTQ.v | -rw-r--r-- | 5.2 KB |
