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 |
|---|---|---|
| Bernstein.v | -rw-r--r-- | 18.8 KB |
| CAbGroups.v | -rw-r--r-- | 14.6 KB |
| CAbMonoids.v | -rw-r--r-- | 2.8 KB |
| CFields.v | -rw-r--r-- | 22.7 KB |
| CGroups.v | -rw-r--r-- | 14.3 KB |
| CMonoids.v | -rw-r--r-- | 22.4 KB |
| COrdAbs.v | -rw-r--r-- | 16.0 KB |
| COrdCauchy.v | -rw-r--r-- | 23.2 KB |
| COrdFields.v | -rw-r--r-- | 38.1 KB |
| COrdFields2.v | -rw-r--r-- | 28.3 KB |
| CPoly_ApZero.v | -rw-r--r-- | 18.0 KB |
| CPoly_Degree.v | -rw-r--r-- | 20.7 KB |
| CPoly_Newton.v | -rw-r--r-- | 17.5 KB |
| CPoly_NthCoeff.v | -rw-r--r-- | 12.9 KB |
| CPolynomials.v | -rw-r--r-- | 73.5 KB |
| CRing_Homomorphisms.v | -rw-r--r-- | 5.3 KB |
| CRing_as_Ring.v | -rw-r--r-- | 226 bytes |
| CRings.v | -rw-r--r-- | 34.3 KB |
| CSemiGroups.v | -rw-r--r-- | 8.4 KB |
| CSetoidFun.v | -rw-r--r-- | 26.6 KB |
| CSetoidInc.v | -rw-r--r-- | 3.3 KB |
| CSetoids.v | -rw-r--r-- | 30.9 KB |
| CSums.v | -rw-r--r-- | 23.8 KB |
| Cauchy_COF.v | -rw-r--r-- | 34.8 KB |
| CornScope.v | -rw-r--r-- | 1.1 KB |
| Expon.v | -rw-r--r-- | 21.1 KB |
| OperationClasses.v | -rw-r--r-- | 6.3 KB |
| RSetoid.v | -rw-r--r-- | 5.6 KB |
