lean-mode
Emacs mode for the Lean 3 theorem prover
Provides a major mode for the Lean 3 programming language. Provides highlighting, diagnostics, goal visualization and many other useful features for Lean users.
homepage ↗ github: leanprover/lean-mode
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 0_p20230611-r1 | 1 | 17 h | details › |