5 search results for "author:"Jean Duprat""

Showing 1 - 5
  1. coq-distributed-reference-counting

    No documentation

    A Construction of Distributed Reference Counting
    keyword: garbage collection keyword: distributed algorithms category: Computer Science/Semantics and Compilation/Compilation category: Computer Science/Concurrent Systems and Protocols/Correctness of specific protocols
    Luc Moreau, Jean Duprat
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  2. coq-euclidean-geometry

    No documentation

    Basis of the Euclid's plane geometry
    keyword: plane geometry keyword: Euclid keyword: ruler and compass category: Mathematics/Geometry/General
    Jean Duprat <Jean.Duprat@ens-lyon.fr>
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  3. coq-firing-squad

    No documentation

    Firing Squad Synchronization Problem
    keyword: concurrency keyword: synchronization keyword: finite-state machines category: Computer Science/Concurrent Systems and Protocols/Correctness of specific protocols category: Miscellaneous/Extracted Programs/Automata and protocols
    Jean Duprat
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  4. coq-graph-basics

    No documentation

    a Coq toolkit for graph theory
    keyword: graph theory keyword: Curry-Howard's isomorphism keyword: inductive definitions category: Mathematics/Combinatorics and Graph Theory date: April 2001
    Jean Duprat
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  5. coq-ruler-compass-geometry

    No documentation

    Ruler and compass geometry axiomatization
    keyword: geometry keyword: plane geometry keyword: ruler and compass geometry keyword: Euclidian geometry keyword: Hilbert's axioms category: Mathematics/Geometry/General date: 2007-11
    Jean Duprat <Jean.Duprat@ens-lyon.fr>
    8.10.0
    GNU Lesser Public License
    Used by 0 other packages
    07 Dec 2019