Explore @ualib Open Source projects

UALib (@ualib)

ualib

Stars
48
Global Org. Rank 80,325 (Top 26 %)
Registered about 3 years ago
Most used languages

Agda 75.0 %

TeX
25.0 %
Location 🇨🇿 Czechia
Country Total Rank 1,466
Country Ranking

Agda 1

TeX
17

agda-algebras

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

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.

cubical-structures

reworking agda-algebras to use cubical agda

agda-structures

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