ualib/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
AgdaCC-BY-SA-4.0
Stargazers
- akastrinUniversity of Ljubljana
- anqurvanillapy@Shopee
- ashtraypettingzooohio
- brendanzab@yeslogic
- celsobonutti@NoRedInk
- ck76NEUQ -> Keio University
- cyberglotGlasgow, UK
- DrRuisseau
- ebigram
- filipbartek@cvut
- ggzorBenemérita Universidad Autónoma de Puebla
- JacquesCaretteMcMaster University
- janmasroviraBarcelona
- jonaprietoOslo, Norway
- Kuo-TingKaiHsinChu,Taiwan
- lane-corebrooklyn
- lemasteroLublin
- lengyijunSJTU
- nikitavoloboevMadrid
- odanobururio
- omelkonianUniversity of Edinburgh
- paulcadmanLondon
- rahulc29
- sirinathSakrio!
- spavikevikJapan
- thongpv87@Holmusk
- tkersey@thisisartium
- williamdemeoIO @input-output-hk
- wolverian@reaktor