Name		Name	Last commit message	Last commit date
Latest commit History 204 Commits
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

No releases published

Packages

Contributors

Languages

Clojure 100.0%