3 search results for "author:"Valérie Ménissier-Morain""

Showing 1 - 3
  1. coq-chinese

    No documentation

    A proof of the Chinese Remainder Lemma
    keyword: number theory keyword: chinese remainder keyword: primality keyword: prime numbers category: Mathematics/Arithmetic and Number Theory/Number theory
    Valérie Ménissier-Morain
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-otway-rees

    No documentation

    Otway-Rees cryptographic protocol
    keyword: Otway-Rees keyword: protocols keyword: cryptography category: Computer Science/Concurrent Systems and Protocols/Correctness of specific protocols
    Dominique Bolignano and Valérie Ménissier-Morain
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  3. coq-zchinese

    No documentation

    A proof of the Chinese Remainder Lemma
    keyword: number theory keyword: chinese remainder keyword: primality keyword: prime numbers category: Mathematics/Arithmetic and Number Theory/Number theory category: Miscellaneous/Extracted Programs/Arithmetic
    Valérie Ménissier-Morain
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019