GeezerVison

GeezerVison is showing github.com — UniversalAlgebra

Popular repositories Loading

lean-ualib lean-ualib Public archive

Lean library for Universal Algebra

Lean 12
UAResources UAResources Public

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

11
Conferences Conferences Public

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

3
term-conditions term-conditions Public

Research on the complexity of some properties of algebras

TeX 1
ALH-2018 ALH-2018 Public

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

HTML 1
WCUA2013 WCUA2013 Public

2013 Workshop on Computational Universal Algebra

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Agda GAP HTML Jupyter Notebook Lean TeX

Sort

Last updated Name Stars

Showing 10 of 20 repositories

agda-algebras Public
repository for legacy website

Uh oh!

There was an error while loading. Please reload this page.

UniversalAlgebra/agda-algebras's past year of commit activity

HTML 0 0 0 0 Updated Nov 6, 2026
universalalgebra.org Public
ua website

Uh oh!

There was an error while loading. Please reload this page.

UniversalAlgebra/universalalgebra.org's past year of commit activity

0 0 0 0 Updated Sep 29, 2026
fin-lat-rep-gap Public
GAP programs for the article Representing Finite Lattices as Congruence Lattices of Finite Algebras

Uh oh!

There was an error while loading. Please reload this page.

UniversalAlgebra/fin-lat-rep-gap's past year of commit activity

GAP 0 MIT 0 0 0 Updated Sep 25, 2026
alg-csp Public
A paper by Bergman and DeMeo on algebraic approaches to constraint satisfaction problems

Uh oh!

There was an error while loading. Please reload this page.

UniversalAlgebra/alg-csp's past year of commit activity

0 0 0 0 Updated Dec 1, 2021
TypeTopology Public Forked from martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

Uh oh!

There was an error while loading. Please reload this page.

UniversalAlgebra/TypeTopology's past year of commit activity

Agda 0 GPL-3.0 58 0 0 Updated Jan 12, 2021
ProvingGround Public Forked from siddhartha-gadgil/ProvingGround
Proving Ground: Tools for Automated Mathematics

Uh oh!

There was an error while loading. Please reload this page.

UniversalAlgebra/ProvingGround's past year of commit activity

Jupyter Notebook 0 MIT 39 0 0 Updated Jan 31, 2020
term-conditions Public
Research on the complexity of some properties of algebras

Uh oh!

There was an error while loading. Please reload this page.

UniversalAlgebra/term-conditions's past year of commit activity

TeX 1 MIT 0 0 0 Updated Jul 19, 2019
lean-ualib Public archive
Lean library for Universal Algebra

Uh oh!

There was an error while loading. Please reload this page.

UniversalAlgebra/lean-ualib's past year of commit activity

Lean 12 Apache-2.0 0 2 (1 issue needs help) 0 Updated May 20, 2019
fg-free-lat Public
Research on finitely generated free lattices

Uh oh!

There was an error while loading. Please reload this page.

UniversalAlgebra/fg-free-lat's past year of commit activity

0 MIT 0 0 0 Updated Jan 12, 2019
formalabstracts Public Forked from formalabstracts/formalabstracts

Uh oh!

There was an error while loading. Please reload this page.

UniversalAlgebra/formalabstracts's past year of commit activity

Lean 0 43 0 0 Updated Nov 23, 2018

View all repositories

People

Top languages

Loading…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.