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】写像って、そもそも何？
あれ
記号論
オブジェクト指向
『記号と再帰』
関数型言語
あれ
2022/6/11 15:29:00
あれ
関数型プログラミング
関数型言語
函数型言語
2020/12/2 1:16:00
あれ
