Popular repositories

1. lean-ualib lean-ualib Public archive

   Lean library for Universal Algebra

   Lean 8

2. UAResources UAResources Public

   Links, guidance, and advice about universal algebra learning and research

   7

3. Conferences Conferences Public

   A list of conferences in algebra, logic, and computer science.

   3

4. term-conditions term-conditions Public

   Research on the complexity of some properties of algebras

   TeX 1

5. ALH-2018 ALH-2018 Public

   Conference on Algebra and Lattice Theory in honor of Ralph Freese, Bill Lampe, and JB Nation

   HTML 1

6. WCUA2013 WCUA2013 Public

   2013 Workshop on Computational Universal Algebra