ualib/agda-algebras ualib/agda-algebras

  • Stars
    star
    29
  • Rank 860,307 (Top 17 %)
  • Language Agda
  • License
    Creative Commons ...
  • Created over 3 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ualib/agda-algebras
github

ualib

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

ualib.github.io

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.
TeX
18
star
2

cubical-structures

reworking agda-algebras to use cubical agda
Agda
1
star
3

agda-structures

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