1 search result for "tag:"logpath:QArithSternBrocot""
Showing 1 - 1
-
coq-qarith-stern-brocot
No documentation
Binary rational numbers in Coq8.18.0LGPL-2.1-or-laterUsed by 0 other packages15 Oct 2023