[My link][lean]

[lean]: https://lean-lang.org