Geeks
leanprover
/
lean4-mode
Emacs major mode for Lean 4
Primary Language
Emacs Lisp
Apache License 2.0
Apache-2.0
lean4-mode Home Page
lean4-mode GitHub
Markdown
Readme
16
Issues
52
Stargazers
7
Watchers
Watchers
eemailme
jhcloos
Kha
Lean FRO
leodemoura
AWS
seanpm2001
Self-employed; looking for tips
soonhokong
Amazon Web Services
urkud
Texas A&M