t_wの輪郭

RSS

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

Coq

2023/9/28 0:36:00

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

Coq 定理証明

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

2025/7/4 0:45:00

https://youtu.be/dFkF8kgl3bA

〈Coq〉

2023/11/28 12:33:00

https://coq.inria.fr/
形式証明管理機構Coqが提供する形式言語。

「言語」じゃないかも？