8 search results for "tag:"category:Mathematics/Geometry/General""

Showing 1 - 8
  1. coq-geocoq

    No documentation

    2.5.0
    LGPL-3.0-only
    Used by 0 other packages
    25 Mar 2024
  2. coq-geocoq-algebraic

    No documentation

    2.5.0
    LGPL-3.0-only
    Used by 2 other packages
    25 Mar 2024
  3. coq-geocoq-axioms

    No documentation

    2.5.0
    LGPL-3.0-only
    Used by 2 other packages
    25 Mar 2024
  4. coq-geocoq-coinc

    No documentation

    2.5.0
    LGPL-3.0-only
    Used by 1 other packages
    25 Mar 2024
  5. coq-geocoq-elements

    No documentation

    2.5.0
    LGPL-3.0-only
    Used by 1 other packages
    25 Mar 2024
  6. coq-geocoq-main

    No documentation

    2.5.0
    LGPL-3.0-only
    Used by 1 other packages
    25 Mar 2024
  7. coq-geocoq-pof

    No documentation

    2.5.0
    LGPL-3.0-only
    Used by 0 other packages
    25 Mar 2024
  8. 8.16.0
    LGPL-2.1-or-later
    Used by 0 other packages
    18 Nov 2023