2 search results for "tag:"keyword:arbitrary-precision""

Showing 1 - 2
  1. coq-bignums

    No documentation

    Compatibility wrapper for rocq-bignums
    category:Miscellaneous/Coq Extensions category:Mathematics/Arithmetic and Number Theory/Number theory category:Mathematics/Arithmetic and Number Theory/Rational numbers keyword:integer numbers keyword:rational numbers keyword:arithmetic keyword:arbitrary-precision logpath:Bignums
    Laurent Théry Benjamin Grégoire Arnaud Spiwack Evgeny Makarov Pierre Letouzey
    9.0.0+rocq9.1
    LGPL-2.1-only
    Used by 10 other packages
    16 Sep 2025
  2. rocq-bignums

    No documentation

    Bignums, the Rocq library of arbitrarily large numbers
    category:Miscellaneous/Coq Extensions category:Mathematics/Arithmetic and Number Theory/Number theory category:Mathematics/Arithmetic and Number Theory/Rational numbers keyword:integer numbers keyword:rational numbers keyword:arithmetic keyword:arbitrary-precision logpath:Bignums
    Laurent Théry Benjamin Grégoire Arnaud Spiwack Evgeny Makarov Pierre Letouzey
    9.0.0+rocq9.1
    LGPL-2.1-only
    Used by 1 other packages
    16 Sep 2025