Coq
Coq is a formal proof management system. It provides a formal language to write
mathematical definitions, executable algorithms and theorems together with an
environment for semi-interactive development of machine-checked proofs. Typical
applications include the certification of properties of programming languages,
the formalization of mathematics and teaching.
Here are 7 public repositories matching this topic...
A VSCode extension that implements outline view and go to definition for Coq files.
-
Updated
Oct 24, 2022 - TypeScript
VSCode extension for Roosterize, a tool for suggesting lemma names in Coq
-
Updated
Mar 2, 2023 - TypeScript
VSCode extension that is designed to help automate writing of Coq proofs.
-
Updated
Jun 8, 2025 - TypeScript
BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the dataset by a significant factor.
-
Updated
Nov 7, 2025 - TypeScript
A port of Coq to Javascript -- Run Coq in your Browser
-
Updated
Nov 10, 2025 - TypeScript
Created by Gérard Pierre Huet, Thierry Coquand
Released 1989
- Followers
- 62 followers
- Repository
- coq/coq
- Website
- github.com/topics/coq
- Wikipedia
- Wikipedia