t_wの輪郭

RSS

言語言語かんすうがたげんご関数型

関数型言語

2022/6/11 15:30: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』

記号論オブジェクト指向『記号と再帰』関数型言語

あれ

2022/6/11 15:29:00

関数型プログラミング関数型言語

函数型言語

2020/12/2 1:16:00