nael

`nael-mode' is a major mode for the Lean language.  For more
information, read the manual:

- As Org file `README.org' in the `nael' folder or repository.

- After installation, as local Info manual per C-h i d nael RET or
  (info "(nael) Top")

- As HTML webpage at <https://codeberg.org/mekeor/nael>.