https://leanprover.github.io/
https://github.com/leanprover/lean4
https://leanprover.github.io/lean4/doc/
https://leanprover.github.io/theorem_proving_in_lean4/
https://doi.org/10.1007/978-3-030-79876-5_37
View/edit source (Markdown)