Name		Name	Last commit message	Last commit date
docs		docs
resources		resources
src/latte_sets		src/latte_sets
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
deps.edn		deps.edn
project.clj		project.clj

Repository files navigation

latte-sets

(Typed) Set theory in LaTTe

https://latte-central.github.io/latte-sets/

About

(Typed) Set theory in LaTTe

latte-central.github.io/latte-sets/

Custom properties

10 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages