leanprover-community/lean4-mode
Emacs major mode for Lean 4
GitHub repository with 139 stars and 43 forks.
Language: Emacs Lisp
Topics: emacs, lean4
24h trend summary
Trending score 0.09, freshness score 0.87, stars gained not enough history, forks gained not enough history.
Latest metric snapshot
2026-09-24: 139 stars and 43 forks.