`agda-fumulas`

An exploration of fumulas in Agda—a new perspective on ring theory.

Name		Name	Last commit message	Last commit date
Latest commit History 67 Commits
.github/workflows		.github/workflows
src/Algebra		src/Algebra
.gitattributes		.gitattributes
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
fumulas.agda-lib		fumulas.agda-lib

Provide feedback