GitHub repository: latte-central/latte-sets
Primary language: Clojure
Description: (Typed) Set theory in LaTTe