Skip to content

@ualib UALib

Change the repository type filter

All

    Repositories list

    7 repositories

    • agda-algebras

      Public
      The Agda Universal Algebra Library (html docs available at the url below)
      dependent-typeslogictype-theoryagdafoundationsmodel-theoryagda-libraryuniversal-algebra
      Agda
      •
      Creative Commons Attribution Share Alike 4.0 International
      •7•30•6•2•Updated Dec 2, 2024Dec 2, 2024

    • docs.ualib.org

      Public
      Documentation for the agda-algebras library
      TeX
      •0•0•0•0•Updated Oct 10, 2022Oct 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.
      dependent-typeslogicagdaformalizationagda-libraryuniversal-algebratypetheoryagda-ualib
      TeX
      •
      Creative Commons Attribution Share Alike 4.0 International
      •2•19•0•0•Updated Dec 8, 2021Dec 8, 2021

    • TypeTopology

      Public
      Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.
      Agda
      •
      GNU General Public License v3.0
      •41•0•0•0•Updated Jul 18, 2021Jul 18, 2021

    • agda-structures

      Public
      Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda
      Agda
      •
      Creative Commons Attribution Share Alike 4.0 International
      •1•1•0•0•Updated Jun 1, 2021Jun 1, 2021

    • cubical-structures

      Public
      reworking agda-algebras to use cubical agda
      Agda
      •0•2•0•0•Updated May 14, 2021May 14, 2021

    • cubical

      Public
      An experimental library for Cubical Agda
      Agda
      •
      MIT License
      •141•0•0•0•Updated Apr 9, 2021Apr 9, 2021