4 search results for "author:"Stéphane Lescuyer""

Showing 1 - 4
  1. coq-containers

    No documentation

    Containers: a typeclass-based library of finite sets/maps
    keyword: data structures keyword: type classes category: Computer Science/Data Types and Data Structures
    Stéphane Lescuyer
    8.10.0
    Unknown
    Used by 0 other packages
    19 Oct 2020
  2. coq-counting

    No documentation

    Counting: a Coq plugin for measuring definitions/proofs
    keyword: statistics category: Miscellaneous/Coq Extensions
    Stéphane Lescuyer
    8.6.0
    Unknown
    Used by 1 other packages
    20 Nov 2018
  3. coq-ergo

    No documentation

    Ergo: a Coq plugin for reification of term with arbitrary signature
    keyword: reflexive decision procedure keyword: satisfiability modulo theories category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures
    Stéphane Lescuyer
    8.6.0
    Unknown
    Used by 0 other packages
    20 Nov 2018
  4. coq-nfix

    No documentation

    Nfix: a Coq extension for fixpoints on nested inductives
    keyword: mutual fixpoint functions category: Miscellaneous/Coq Extensions
    Stéphane Lescuyer
    8.10.0
    Unknown
    Used by 0 other packages
    19 Oct 2020