4 search results for "tag:"keyword:reals""
Showing 1 - 4
-
rocq-mathcomp-analysis-stdlib
No documentation
A library to link real numbers from mathematical components and Stdlib1.16.0CECILL-CUsed by 1 other packages16 Mar 2026 -
rocq-mathcomp-experimental-reals
No documentation
A library for alternative real numbers for mathematical components1.16.0CECILL-CUsed by 1 other packages16 Mar 2026 -
rocq-mathcomp-reals
No documentation
A library for real numbers for mathematical components1.16.0CECILL-CUsed by 4 other packages16 Mar 2026 -
rocq-mathcomp-reals-stdlib
No documentation
A library to link real numbers from mathematical components and Stdlib1.16.0CECILL-CUsed by 2 other packages16 Mar 2026