Lean Theorem Prover
Links
Community
.
Emacs
29.4 (
Org
mode 9.6.15)