latte-sets

January 3, 2019 ยท View on GitHub

Clojars Project

(Typed) Set theory in LaTTe

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