LaTTe central

icon location The LaTTe proof assistant and mathematical libraries

Results 1 repositories owned by LaTTe central

LaTTe

253
Stars
13
Forks
Watchers

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

verified publisher icon latte-central