t_wの輪郭
あれ
コンパイル時証明
2024/3/24 19:50:00
あれ
コンパイル時証明
定理証明支援系
関数型言語
Lean
2024/3/24 19:25:00
https://lean-lang.org/
https://github.com/leanprover
【定理証明支援系Lean】写像って、そもそも何？
あれ