Geeks
Kha
/
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
0
Issues
0
Stargazers
1
Watcher
Watchers
eemailme