4 search results for "author:"Gilles Kahn""

Showing 1 - 4
  1. coq-constructive-geometry

    No documentation

    Elements of Constructive Geometry
    keyword: constructive mathematics keyword: geometry category: Mathematics/Geometry/General
    Gilles Kahn
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-cours-de-coq

    No documentation

    Various examples of Coq proofs
    category: Miscellaneous/Coq Use Examples
    Frédéric Prost Gilles Kahn
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  3. coq-domain-theory

    No documentation

    Elements of Domain Theory
    keyword: Concrete Domains category: Computer Science/Lambda Calculi
    Gilles Kahn
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  4. coq-group-theory

    No documentation

    Elements of Group Theory
    keyword: Group Theory category: Mathematics/Algebra
    Gilles Kahn
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019