Lean Theorem Prover

Links

Emacs 29.4 (Org mode 9.6.15)