1 search result for "author:"Frédérique Guilhot <Frederique.Guilhot@sophia.inria.fr>""

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