Coq [SEP] programming language
What is the programming language for Coq? Which programming language is Coq written in? What programming language was used to write Coq?
OCaml
-1
Section::::Overview.

Coq
581974