Coq

Coqは、証明支援システムの一つ。 Coqの核はプログラミング言語Gallinaを用いる。

出典: Wikipedia「Coq」 · CC BY-SA 4.0