3 search results for "tag:"keyword:arithmetic""

Showing 1 - 3
  1. coq-bignums

    No documentation

    Bignums, the Coq 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 date:2024-06-20
    Laurent Théry Benjamin Grégoire Arnaud Spiwack Evgeny Makarov Pierre Letouzey
    9.0.0+coq8.20
    LGPL-2.1-only
    Used by 10 other packages
    06 Sep 2024
  2. coq-ppsimpl

    No documentation

    Ppsimpl is a reflexive tactic for canonising (arithmetic) goals
    keyword:integers keyword:arithmetic keyword:automation category:Miscellaneous/Coq Extensions logpath:PP
    Frédéric Besson
    8.10.0
    LGPL 3
    Used by 0 other packages
    18 Oct 2019
  3. coq-qarith-stern-brocot

    No documentation

    Binary rational numbers in Coq
    category:Mathematics/Arithmetic and Number Theory/Rational numbers category:Miscellaneous/Extracted Programs/Arithmetic keyword:rational numbers keyword:arithmetic keyword:field tactic keyword:binary lists keyword:Stern-Brocot logpath:QArithSternBrocot date:2023-10-15
    Milad Niqui Yves Bertot
    8.18.0
    LGPL-2.1-or-later
    Used by 0 other packages
    15 Oct 2023