AlphaPeu commune
latte-central/LaTTe
LaTTe : a Laboratory for Type Theory experiments (in clojure)
- Propriétaire
- latte-central (organisation)
- Étoiles
- Étoiles : 273
- Forks
- Forks : 14
- Langage
- Clojure
- Licence
- MIT
- Création
- 2015
- Sujets
- clojureproof-assistantlogicmathematics
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Clojure
Tous les dépôts Clojure- mmcgrana/clj-stacktraceÉtoiles : 273ClojureAlpha
- elastic/es2unixÉtoiles : 273ClojureAlpha
- eggsyntax/datawalkÉtoiles : 273ClojureAlpha
- Yomguithereal/clj-fuzzyÉtoiles : 272ClojureAlpha