2 search results for "tag:"category: Mathematics/Arithmetic and Number Theory/Rational numbers""
Showing 1 - 2
-
coq-qarith
No documentation
A Library for Rationals (QArith)8.10.0LGPL 2.1Used by 0 other packages07 Dec 2019 -
coq-rational
No documentation
A definition of rationals8.6.0LGPL 2.1Used by 0 other packages12 May 2019