2 search results for "tag:"date: 1999""

Showing 1 - 2
  1. coq-algebra

    No documentation

    Basics notions of algebra
    keyword: algebra category: Mathematics/Algebra date: 1999-03
    Loïc Pottier [http://www-sop.inria.fr/croap/personnel/Loic.Pottier/home.html]
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-rsa

    No documentation

    Correctness of RSA algorithm
    keyword: RSA keyword: Chinese remainder keyword: Fermat's little theorem category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms date: 1999
    Jose C. Almeida Laurent Théry
    8.10.0
    LGPL-2.1-only
    Used by 0 other packages
    07 Dec 2019