8 search results for "tag:"keyword:integer""
Showing 1 - 8
-
coq-bignums
No documentation
Compatibility wrapper for rocq-bignums9.0.0+rocq9.0LGPL-2.1-onlyUsed by 10 other packages20 Mar 2025 -
coq-gaia-numbers
No documentation
Implementation of the sets of numbers Z, Q, and R following Bourbaki's Elements of Mathematics in Coq2.2MITUsed by 0 other packages11 Aug 2024 -
coq-hol-light
No documentation
HOL-Light library in Coqlogpath:HOLLight date:2025-01-20 category:Mathematics/Arithmetic and Number Theory/Miscellaneous category:Mathematics/Real Numbers category:Mathematics/Real Calculus and Topology keyword:HOL-Light keyword:list keyword:basic set theory keyword:arithmetic keyword:integer keyword:real keyword:complex keyword:permutation keyword:group keyword:matroid keyword:binomial keyword:topology keyword:metric keyword:space keyword:analysis keyword:homology keyword:vector keyword:linear keyword:algebra keyword:convex keyword:path keyword:polytope keyword:Brouwer keyword:degree keyword:derivative keyword:Clifford keyword:integration keyword:measure keyword:Lebesgue keyword:transcendental3.0.0CeCILL-2.1Used by 0 other packages21 Jan 2025 -
coq-itauto
No documentation
Reflexive SAT solver with Nelson-Oppen support, parameterised by a leaf tactic inside Coq8.20.0MITUsed by 1 other packages06 Sep 2024 -
coq-ppsimpl
No documentation
Ppsimpl is a reflexive tactic for canonising (arithmetic) goals8.10.0LGPL 3Used by 0 other packages18 Oct 2019 -
rocq-bignums
No documentation
Bignums, the Rocq library of arbitrarily large numbers9.0.0+rocq9.0LGPL-2.1-onlyUsed by 1 other packages20 Mar 2025 -
rocq-mathcomp-algebra
No documentation
Mathematical Components Library on Algebrakeyword:small scale reflection keyword:mathematical components keyword:algebra keyword:algebraic structure hierarchies keyword:archimedean field keyword:floor keyword:ceil keyword:intervals keyword:matrices keyword:vectors keyword:block matrices keyword:determinant keyword:Cramer rule keyword:Vandermonde matrices keyword:LUP decomposition keyword:Gaussian elimination keyword:matrix rank keyword:eigen values keyword:single variable polynomials keyword:bivariate polynomials keyword:polynomial division keyword:integers keyword:rational numbers keyword:semirings keyword:rings keyword:left algebra keyword:left module keyword:unit rings keyword:field keyword:algebraically closed field keyword:additive morphisms keyword:ring morphisms keyword:finite dimensional vector spaces keyword:complex numbers keyword:square root logpath:mathcomp.algebra2.4.0CECILL-BUsed by 2 other packages15 Apr 2025 -
rocq-mathcomp-ssreflect
No documentation
Small Scale Reflectionkeyword:small scale reflection keyword:mathematical components keyword:bigop keyword:big operators keyword:biomial coefficient keyword:integer division theory keyword:finite sets keyword:functions with finite domain keyword:finite graphs keyword:quotient types keyword:order theory keyword:partial order keyword:lattices keyword:lists keyword:ordering and sorting lists keyword:prime numbers keyword:tuples keyword:bounded lists logpath:mathcomp.ssreflect2.4.0CECILL-BUsed by 2 other packages15 Apr 2025