1 search result for "author:"Tuan-Minh Pham""

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