3 search results for "author:"Pierre Courtieu""

Showing 1 - 3
  1. coq-alea

    No documentation

    Coq library for reasoning on randomized algorithms
    category:Computer Science/Data Types and Data Structures keyword:randomized algorithm keyword:probability keyword:monads logpath:ALEA
    Christine Paulin-Mohring David Baelde Pierre Courtieu
    8.12.0
    LGPL-2.1-only
    Used by 0 other packages
    03 Nov 2021
  2. coq-libhyps

    No documentation

    Hypotheses manipulation library
    keyword:proof environment manipulation keyword:forward reasoning keyword:hypothesis naming category:Miscellaneous/Coq Tactics Library logpath:LibHyps date:2025-10-6
    Pierre Courtieu
    3.0.2
    MIT
    Used by 1 other packages
    14 Oct 2025
  3. rocq-libhyps

    No documentation

    Hypotheses manipulation library
    keyword:proof environment manipulation keyword:forward reasoning keyword:hypothesis naming category:Miscellaneous/Coq Tactics Library logpath:LibHyps date:2025-10-6
    Pierre Courtieu
    4.0
    MIT
    Used by 0 other packages
    14 Oct 2025