1 search result for "author:"Julien Narboux <Julien.Narboux@dpt-info.u-strasbg.fr> [http://dpt-info.u-strasbg.fr/~narboux/]""

Showing 1 - 1
  1. coq-tarski-geometry

    No documentation

    Tarski's geometry
    keyword: geometry keyword: Tarski's geometry keyword: congruence keyword: between property keyword: orthogonality category: Mathematics/Geometry/General date: 2006-03
    Julien Narboux <Julien.Narboux@dpt-info.u-strasbg.fr> [http://dpt-info.u-strasbg.fr/~narboux/]
    8.10.0
    GPL
    Used by 0 other packages
    07 Dec 2019