t_wの輪郭

RSS

証明支援システム

定理証明支援系

2024/3/25 4:49:00

証明支援システム定理証明支援系

Coq

2023/9/28 0:36:00

コンパイル時証明定理証明支援系関数型言語

Lean

2024/3/25 4:25:00

https://lean-lang.org/
https://github.com/leanprover

あれ【定理証明支援系Lean】写像って、そもそも何？