Questions tagged [coq]
Coq is a formal proof management system. It is often referred to as a proof assistant.
0
questions with bounties
No questions found. Perhaps you'd like to select a different tab?
Coq is a formal proof management system. It is often referred to as a proof assistant.