Proof Assistants Beta

About

Ask Question
Tag Info
Info Newest Frequent Score Active Unanswered

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

History Excerpt history

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


Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.