PrototypeCommon
leanprover-community/lean4-mode
Emacs major mode for Lean 4
- Owner
- leanprover-community (organization)
- Stars
- Stars: 142
- Forks
- Forks: 45
- Language
- Emacs Lisp
- License
- Apache-2.0
- Created
- 2022
- Topics
- lean4emacs
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,414LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 818LeanBeta
- leanprover-community/mathematics_in_leanStars: 625HTMLAlpha
- leanprover-community/lean4gameStars: 576TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
Nearby in Emacs Lisp
All Emacs Lisp repos- overtone/live-coding-emacsStars: 142Emacs LispPrototype
- samisalkosuo/elite-for-emacsStars: 142Emacs LispPrototype
- stsquad/dired-rsyncStars: 142Emacs LispPrototype
- bodil/emacs.dStars: 141Emacs LispPrototype