lean4-mode

leanprover-community

Emacs major mode for Lean 4

emacs

View on GitHub Website

124 Stars

41 Forks

124 Watchers

Emacs Lisp Language

apache-2.0 License

100 SrcLog Score

Cost to Build

$15.8K

Market Value

$43.1K

How is this calculated?

Growth over time

2 data points · 2023-07-01 → 2026-04-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about lean4-mode

Question copied to clipboard

What is the leanprover-community/lean4-mode GitHub project? Description: "Emacs major mode for Lean 4". Written in Emacs Lisp. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone lean4-mode

Clone via HTTPS

git clone https://github.com/leanprover-community/lean4-mode.git

Clone via SSH

[email protected]:leanprover-community/lean4-mode.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the lean4-mode issue tracker:

Open GitHub Issues

Similar to lean4-mode

spacemacs dracula-theme awesome-emacs magit cider remacs projectile helm use-package know-your-http-well flycheck doomemacs Spacemacs-rocks smartparens slime merlin intero lsp-mode Indium irony-mode dumb-jump org-brain emacs-anywhere emacs-document tide sx.el emacs-slack emacs-which-key clj-refactor.el all-the-icons.el