『Lean4 の Natural Number Game を解いてみた』2025/2/17 1:59:00 https://zenn.dev/imamuray/articles/98606c7b109151
