2 search results for "author:"Frédérique Guilhot""

Showing 1 - 2
  1. coq-angles

    No documentation

    Formalization of the oriented angles theory
    keyword: Pcoq keyword: geometry keyword: plane geometry keyword: oriented angles category: Mathematics/Geometry/General date: 2002-01-15
    Frédérique Guilhot <Frederique.Guilhot@sophia.inria.fr>
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-high-school-geometry

    No documentation

    Geometry in Coq for French high school
    category:Mathematics/Geometry/General keyword:geometry keyword:teaching keyword:high school keyword:Ptolemy's theorem logpath:HighSchoolGeometry date:2023-11-18
    Frédérique Guilhot Tuan-Minh Pham
    8.16.0
    LGPL-2.1-or-later
    Used by 0 other packages
    18 Nov 2023