7 search results for "author:"The UniMath Development Team""

Showing 1 - 7
  1. coq-unimath

    No documentation

    Library of Univalent Mathematics
    The UniMath Development Team
    20250923
    Similar to MIT license
    Used by 0 other packages
    30 Sep 2025
  2. coq-unimath-category-theory

    No documentation

    Aims to formalize a substantial body of mathematics using the univalent point of view
    The UniMath Development Team
    0.1.0
    Kind of MIT
    Used by 2 other packages
    14 May 2019
  3. coq-unimath-dedekind

    No documentation

    Aims to formalize a substantial body of mathematics using the univalent point of view
    The UniMath Development Team
    0.1.0
    Kind of MIT
    Used by 0 other packages
    14 May 2019
  4. coq-unimath-foundations

    No documentation

    Aims to formalize a substantial body of mathematics using the univalent point of view
    The UniMath Development Team
    0.1.0
    Kind of MIT
    Used by 5 other packages
    14 May 2019
  5. coq-unimath-ktheory

    No documentation

    Aims to formalize a substantial body of mathematics using the univalent point of view
    The UniMath Development Team
    0.1.0
    Kind of MIT
    Used by 1 other packages
    14 May 2019
  6. coq-unimath-substitution-systems

    No documentation

    Aims to formalize a substantial body of mathematics using the univalent point of view
    The UniMath Development Team
    0.1.0
    Kind of MIT
    Used by 0 other packages
    14 May 2019
  7. coq-unimath-tactics

    No documentation

    Aims to formalize a substantial body of mathematics using the univalent point of view
    The UniMath Development Team
    0.1.0
    Kind of MIT
    Used by 0 other packages
    14 May 2019