All Git Users → latte-central

1 open source projects by latte-central

[ Open user page on Github ]

LaTTe : a Laboratory for Type Theory experiments (in clojure)

✭ 210

clojure mathematics logic

1-1 of 1 user projects