Coq
Coqは、証明支援システムの一つ。Coqの核はプログラミング言語を用いる。フランス国立情報学自動制御研究所のPI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニーク、フランス国立工芸院、パリ第7大学、パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。
Q1146208
フランス国立情報学自動制御研究所
LOC
Q273626
エコール・ポリテクニーク
ORG
Q524289
フランス国立工芸院
Concept
Q1480643
パリ第11大学
ORG
Q10159
リヨン高等師範学校
MEDIA
Q1131652
Coq
MEDIA
Q1131652
Coq
MEDIA
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
2020-07-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
7
DATE
2011-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
11
DATE
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+7^^http://www.w3.org/2001/XMLSchema#decimal
7
NUMBER
+11^^http://www.w3.org/2001/XMLSchema#decimal
11
NUMBER
developer
developer