Skip to content
@ualib

UALib

Popular repositories Loading

  1. agda-algebras agda-algebras Public

    The Agda Universal Algebra Library (html docs available at the url below)

    Agda 29 7

  2. ualib.github.io ualib.github.io Public

    The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proo…

    TeX 19 2

  3. cubical-structures cubical-structures Public

    reworking agda-algebras to use cubical agda

    Agda 2

  4. agda-structures agda-structures Public

    Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda

    Agda 1 1

  5. cubical cubical Public

    Forked from agda/cubical

    An experimental library for Cubical Agda

    Agda

  6. TypeTopology TypeTopology Public

    Forked from martinescardo/TypeTopology

    Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

    Agda

Repositories

Showing 7 of 7 repositories
  • agda-algebras Public

    The Agda Universal Algebra Library (html docs available at the url below)

    ualib/agda-algebras’s past year of commit activity
    Agda 29 CC-BY-SA-4.0 7 6 3 Updated May 24, 2024
  • docs.ualib.org Public

    Documentation for the agda-algebras library

    ualib/docs.ualib.org’s past year of commit activity
    TeX 0 0 0 0 Updated Oct 10, 2022
  • ualib.github.io Public

    The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.

    ualib/ualib.github.io’s past year of commit activity
    TeX 19 CC-BY-SA-4.0 2 0 0 Updated Dec 8, 2021
  • TypeTopology Public Forked from martinescardo/TypeTopology

    Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

    ualib/TypeTopology’s past year of commit activity
    Agda 0 GPL-3.0 42 0 0 Updated Jul 18, 2021
  • agda-structures Public

    Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda

    ualib/agda-structures’s past year of commit activity
    Agda 1 CC-BY-SA-4.0 1 0 0 Updated Jun 1, 2021
  • cubical-structures Public

    reworking agda-algebras to use cubical agda

    ualib/cubical-structures’s past year of commit activity
    Agda 2 0 0 0 Updated May 14, 2021
  • cubical Public Forked from agda/cubical

    An experimental library for Cubical Agda

    ualib/cubical’s past year of commit activity
    Agda 0 MIT 142 0 0 Updated Apr 9, 2021

Top languages

Loading…

Most used topics

Loading…