lean-mode-20191117


  • This is the emacs mode for the [Lean theorem prover][lean].