リンク集に lean4.dev を追加する

[Seasawher]

https://lean4.dev/

ただし、これを誰が作ってるのかは調査した方が良さそう。