t_wの輪郭
定理証明支援系
証明支援システム
Coq
2023/9/27 15:36:00
〈Coq〉
Coq
〈Coq〉
2023/11/28 3:33:00
https://coq.inria.fr/
形式証明管理機構Coqが提供する形式言語。
「言語」じゃないかも?
あれ