AlphaUncommon
latte-central/LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
- Owner
- latte-central (organization)
- Stars
- Stars: 273
- Forks
- Forks: 14
- Language
- Clojure
- License
- MIT
- Created
- 2015
- Topics
- clojureproof-assistantlogicmathematics
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Clojure
All Clojure repos- mmcgrana/clj-stacktraceStars: 273ClojureAlpha
- elastic/es2unixStars: 273ClojureAlpha
- eggsyntax/datawalkStars: 273ClojureAlpha
- Yomguithereal/clj-fuzzyStars: 272ClojureAlpha