Lean
2024/3/25 4:25:00
【定理証明支援系Lean】写像って、そもそも何？あれ『プログラミング言語Lean 4の現状 - 檜山正幸のキマイラ飼育記 (はてなBlog)』『Lean4 の Natural Number Game を解いてみた』『Lean Into Verified Software Development | AWS Open Source Blog』『AWS と定理証明 〜ポリシー言語 Cedar 開発の舞台裏〜 by チェシャ猫 | プロポーザル | 関数型まつり2025 #fp_matsuri - fortee.jp』あれ『leanによる定理証明AIエージェント遊戯 #lean - Qiita』『次に流行る※プログラミング言語「Lean」 - Speaker Deck』
『leanによる定理証明AIエージェント遊戯 #lean - Qiita』
2025/4/13 1:40:00
『次に流行る※プログラミング言語「Lean」 - Speaker Deck』
2025/4/13 1:35:00
『プログラミング言語Lean 4の現状 - 檜山正幸のキマイラ飼育記 (はてなBlog)』
2025/2/17 2:01:00
『Lean4 の Natural Number Game を解いてみた』
2025/2/17 1:59:00
『Lean Into Verified Software Development | AWS Open Source Blog』
2025/2/17 1:59:00