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

Showing 1 - 2
  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 Extensions logpath:LibHyps date:2024-12-19
    Pierre Courtieu
    3.0.1
    MIT
    Used by 1 other packages
    19 Dec 2024