gentoo.mahdi.cz

  

app-emacs:lean-mode


A major mode for the Lean 3 language
https://github.com/leanprover/lean-mode

lean-mode-20230611.728
download~amd64 ~x86melpa
lean-mode-0_p20230611GPL-2+
download~amd64gentoo