t_wの輪郭
RSS
コンパイル時証明
定理証明支援系
関数型言語
Lean
2024/3/25 4:25:00
https://lean-lang.org/
https://github.com/leanprover
あれ
【定理証明支援系Lean】写像って、そもそも何?
写像
Lean
【定理証明支援系Lean】写像って、そもそも何?
2024/4/22 19:54:00
(
https://youtu.be/zV7MMw2nA-Q
)
Lean
あれ
2024/3/25 4:57:00