今、Lean 4という言語が一部で話題らしい
https://zenn.dev/ebi_chan/articles/d36b243e8eaa70
このあたり読んでみようかな、いつか
Please Login to reply.
https://bsky.app/profile/golden-lucky.net/post/3lxjrtmfjcs2y