『プログラミング言語Lean 4の現状 - 檜山正幸のキマイラ飼育記 (はてなBlog)』2025/2/17 2:01:00 https://m-hiyama.hatenablog.com/entry/2022/12/31/183948
