#

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...

jscoq / jscoq

A port of Coq to Javascript -- Run Coq in your Browser

javascript integrated-development-environment coq proof-assistant

Updated Oct 28, 2025
TypeScript

JetBrains-Research / coqpilot

VSCode extension that is designed to help automate writing of Coq proofs.

coq formal-methods code-generation theorem-prover llm

Updated Jun 8, 2025
TypeScript

siegebell / vscoq

Coq Support for Visual Studio Code

coq

Updated Oct 31, 2019
TypeScript

formal-land / coq-of-ts

Formal verification for TypeScript

typescript coq verification

Updated Jan 27, 2023
TypeScript

BruceZoom / coqoutline

A VSCode extension that implements outline view and go to definition for Coq files.

editor coq vscode vscode-extension

Updated Oct 24, 2022
TypeScript

JetBrains-Research / rocqstar-rag

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.

coq code-generation dataset-augmentation rocq coq-lsp

Updated Oct 8, 2025
TypeScript

EngineeringSoftware / roosterize-vscode

VSCode extension for Roosterize, a tool for suggesting lemma names in Coq

machine-learning deep-learning coq vscode vscode-extension code-summarization

Updated Mar 2, 2023
TypeScript

Created by Gérard Pierre Huet, Thierry Coquand

Released 1989

Followers: 62 followers
Repository: coq/coq
Website: github.com/topics/coq
Wikipedia: Wikipedia