『Lean Into Verified Software Development | AWS Open Source Blog』2025/2/17 1:59:00 https://aws.amazon.com/jp/blogs/opensource/lean-into-verified-software-development/
『Lean4 の Natural Number Game を解いてみた』2025/2/17 1:59:00 https://zenn.dev/imamuray/articles/98606c7b109151
