2 search results for "tag:"category:Miscellaneous/Extracted Programs/Arithmetic""

Showing 1 - 2
  1. coq-bertrand

    No documentation

    Correctness of Knuth's algorithm for prime numbers
    category:Mathematics/Arithmetic and Number Theory/Number theory category:Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs based on external tools category:Miscellaneous/Extracted Programs/Arithmetic keyword:Knuth's algorithm keyword:prime numbers keyword:Bertrand's postulate logpath:Bertrand date:2020-10-10
    Laurent Théry
    8.12.0
    LGPL-2.1-or-later
    Used by 0 other packages
    11 Oct 2020
  2. 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