Awesome

[!WARNING]
Lean 3 is no longer actively maintained. It is strongly recommended that you use Lean 4 instead.

(If you need to read the old README.md, please see OLD_README.md.)