Name		Name	Last commit message	Last commit date
artwork		artwork
config		config
css		css
html		html
src		src
.editorconfig		.editorconfig
.gitignore		.gitignore
.markdownlint.json		.markdownlint.json
.prettierrc.json		.prettierrc.json
Dockerfile		Dockerfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
bib.bib		bib.bib
compile.sh		compile.sh
header.png		header.png
lake-manifest.json		lake-manifest.json
lean-toolchain		lean-toolchain
space.png		space.png
template.html		template.html

Repository files navigation

monoid.space

To visit simply click the link above.

Building

Ensure that agda binary is in path.

./compile.sh

About

Learn pure math with agda 🚀

abstract-algebra agda algebraic-geometry category-theory homotopy-type-theory type-theory

Apache-2.0 license

16 stars

2 watching

Report repository

Releases

Packages

Used by

Contributors

Languages