t_wの輪郭

RSS

証明支援システム

2023/9/28 0:36:00

Coq 証明支援系定理証明支援系

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

定理証明支援系

2024/3/25 4:49:00

Coq Lean 『定理証明支援系についての問題意識 | 雑記帳』

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

Coq

2023/9/28 0:36:00

〈Coq〉『Coqで定理証明：数学的帰納法で二項係数の性質を証明してみた - YouTube』

証明支援システム

証明支援系

2022/9/6 19:09:00

proof assistant