Geeks
holtzermann17
/
lean-mode-contrib
Primary Language
Emacs Lisp
GNU General Public License v3.0
GPL-3.0
lean-mode-contrib GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
holtzermann17
UK
jhcloos