#

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 8 public repositories matching this topic...

DistributedComponents / coqproject

Bash script for simple generation of Coq project metadata files

bash coq build-tools

Updated Jan 19, 2018
Shell

rocq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]

continuous-integration coq opam action github-actions docker-coq container-ci docker-coq-action

Updated Mar 23, 2025
Shell

rocq-community / docker-coq

Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]

dockerfile ci docker-image coq opam docker-coq

Updated May 13, 2025
Shell

gingerhot / asdf-coq

🐓 Coq plugin for ASDF version manager.

coq version-manager asdf-plugin coq-installation asdf-coq coq-version-manager

Updated Mar 27, 2020
Shell

proofengineering / icoq

A regression proof selection tool for the Coq proof assistant

continuous-integration coq proof regression-proof-selection

Updated Dec 1, 2017
Shell

aionescu / plutus2coq

Translating the Plutus standard library to Coq

smart-contracts coq plutus cardano hs-to-coq

Updated Dec 5, 2023
Shell

i321takeji / coq-docker

docker coq mathcomp

Updated May 14, 2021
Shell

appliedfm / docker-coq-vst

Docker images of the Coq proof assistant with compcert and VST pre-installed

c dockerfile continuous-integration coq compcert docker-coq appliedfm coq-vst

Updated Feb 15, 2022
Shell

Created by Gérard Pierre Huet, Thierry Coquand

Released 1989

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