Add new topic: Coq

[anton-trunov]

Thank you for contributing! Please confirm this pull request meets the following requirements:

• I followed the contributing guidelines: https://github.com/github/explore/blob/master/CONTRIBUTING.md
• I have no affiliation with the project I am suggesting (as a maintainer, creator, contractor, or employee).

Which change are you proposing?

• Suggesting edits to an existing topic or collection
• Curating a new topic or collection

---

Editing an existing topic or collection

I'm suggesting these edits to an existing topic or collection:

• Image (and my file is *.png, square, dimensions 288x288)
• Content (and my changes are in index.md)

Please replace this line with an explanation of why you think these changes should be made.

Curating a new topic or collection

• I've formatted my changes as a new folder directory, named for the topic or collection as it appears in the URL on GitHub (e.g. https://github.com/topics/[NAME] or https://github.com/collections/[NAME])
• My folder contains a *.png image (if applicable) and index.md
• All required fields in my index.md conform to the Style Guide and API docs: https://github.com/github/explore/tree/master/docs

Please replace this line with an explanation of why you think this topic or collection should be curated.

Coq is a state-of-the-art interactive theorem prover that has seen adoption by both industry and academia. It has been used in several breakthrough projects in the area of formal verification and formalization of mathematics, including a certified C compiler (https://github.com/AbsInt/CompCert) and the formalization of major results in mathematics, e.g. https://github.com/math-comp/fourcolor, https://github.com/math-comp/odd-order.

Please note: we will close your PR without comment if you do not check the boxes above and provide ALL requested information.

[talsafran]

Hi @anton-trunov! Thanks for contributing, this is a great suggestion ❤️🚢

[anton-trunov]

@talsafran Many thanks for merging!