FRDCSA
Minor
Internal
External
Git
Packages
lean-mode
Jump To:
Parent Description
This is the
emacs
mode for the [Lean theorem prover][lean].