2 search results for "author:"Jean Duprat <Jean.Duprat@ens-lyon.fr>""

Showing 1 - 2
  1. 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
  2. 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