We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Move language pages to the new docs
Updated Language Coq (markdown)
Add language id section on each language page
Deprecate all forms of testing methods outside of coq_codewars
Add link to new coq_codewars framework and remove outdated kata example
Expand "Language Coq" reference page with tutorial on how to author/solve Coq Kata on Codewars
Created Language Coq (markdown)