`nael-mode' is a major mode for Lean.

Nael is forked from Lean4-Mode:
https://github.com/leanprover-community/lean4-mode