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