『AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜 by チェシャ猫 | プロポーザル | 関数型まつり2025 #fp_matsuri - fortee.jp』2025/3/3 2:21:00 https://fortee.jp/2025fp-matsuri/proposal/8bb407b5-5df3-48bb-a934-0ca6ca628c9a
『プログラミング言語Lean 4の現状 - 檜山正幸のキマイラ飼育記 (はてなBlog)』2025/2/17 2:01:00 https://m-hiyama.hatenablog.com/entry/2022/12/31/183948
『Lean4 の Natural Number Game を解いてみた』2025/2/17 1:59:00 https://zenn.dev/imamuray/articles/98606c7b109151
『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/