t_wの輪郭
RSS
証明
コンパイル
コンパイル時証明
2024/3/25 4:50:00
Lean
関数型言語
コンパイル時証明
定理証明支援系
Lean
2024/3/25 4:25:00
https://lean-lang.org/
https://github.com/leanprover
【定理証明支援系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』