Skip to main content

Coq is a formal proof management system. It is often referred to as a proof assistant.

References:

Site
Forum (Zulip)
Forum (Discourse)
Wikipedia
GitHub
Documentation

Code Language (used for syntax highlighting): lang-ml