bn:03400740n
Noun Named Entity
Categories: システムソフトウェア, オープンソースソフトウェア, 数学教育ソフトウェア, プログラミング言語
JA
Coq
JA
Coqは、証明支援システムの一つ。 Wikipedia
English:
proof assistant
Definitions
Relations
Sources