latte-central/LaTTe

Why it is useful

LaTTe is a recent open-source project in Mathematics. It is included because it has recent repository activity and can support mathematical learning, research, modelling, software development, or AI workflows.

Repository at a glance

• Owner: latte-central
• Primary language: Clojure
• Latest update: 2026-09-06
• Stars / forks: 270 / 13
• License: MIT
• Links: Official project site
• Video: Watch a related video

Good starting points

1. Read the project README and installation instructions.
2. Try the smallest example before changing parameters or datasets.
3. Check tests, issues, and release notes before relying on results in teaching or research.
4. Cite the repository and its license when reusing code or figures.

README snapshot

http://latte-central.github.io/LaTTe/ LaTTe : a Laboratory for Type Theory experiments (in clojure) LaTTe is a proof assistant library based on type theory (a variant of λD as described in the book Type theory and formal proof: an introduction). - Hot! Watch Latte live at: https://www.youtube.com/watch?v=5YTCY7wm0Nw - Sizzling! A paper about LaTTe at the European Lisp Symposium, 2017: https://github.com/latte-central/latte-ELS-2017 [[PDF]](https://gi