#

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

Coq-zh / SF-zh

《软件基础》中译版 Software Foundations Chinese Translation

translation coq chinese-translation

Updated Mar 14, 2022
HTML

alhassy / next-700-module-systems

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

language haskell lisp emacs modules records ocaml metaprogramming coq agda phd typeclasses first-class-citizens canonical-structures

Updated Oct 24, 2021
HTML

anton-trunov / csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru/en, Spring term 2021

course coq ssreflect mathcomp

Updated Feb 28, 2023
HTML

coq-community / coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

coq theorems

Updated Mar 19, 2024
HTML

Blaisorblade / dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

paper coq type-theory coq-formalization coq-formalizations soundness dot-calculus

Updated Nov 6, 2024
HTML

clarus / coq-blog

A blog about Coq

coq

Updated Mar 21, 2021
HTML

meduzik / software-foundations-ru

Russian Translation for Software Foundations book.

translation coq software-foundations

Updated Feb 23, 2018
HTML

anton-trunov / ssreflect-london-tydd-meetup

SSReflect talk at London Type-Driven Development meetup

coq ssreflect mathcomp

Updated Apr 20, 2021
HTML

courses-at-nju-by-hfwei / problem-solving-class-coq

Rock on Coq for the Problem Solving Class at Nanjing University

tutorial coq theorem-proving proof-assistant classes formal-methods nanjing-university problem-solving-class

Updated Nov 13, 2019
HTML

FedericoBruzzone / software-foundations

Solutions (in Coq) of the exercises in the software foundation books.

functional-programming ocaml coq software-foundations coq-library

Updated Aug 12, 2024
HTML

jaalonso / jaalonso.github.io

Índice de repositorios.

haskell functional-programming coq prolog proof-assistant lean logic-programming isabelle

Updated Feb 12, 2025
HTML

JoJoDeveloping / ACP

My project for a course at Saarland University called "Advanced Coq Programming". My work is limited to the Reflection.v and GeneralReflection.v files, with some slight modifications in PA.v and ZF.v

coq coq-tactic

Updated Apr 28, 2021
HTML

ahmedishraq / CSE460-Lab

CSE460 - VLSI Design

vhdl coq verilog-hdl verilog-project vlsi-design bracucse460

Updated Feb 9, 2023
HTML

dot-iris / dot-iris.github.io

GitHub Pages website for https://github.com/Blaisorblade/dot-iris.

coq type-theory coq-formalization dot-calculus

Updated Nov 6, 2024
HTML

ankitku / Twisted_Functor_Verification

coq functor monoid formalization action semidirectproduct

Updated May 29, 2017
HTML

pindaroso / software-foundations

Software Foundations book and exercises taken from https://www.cis.upenn.edu/~bcpierce/sf/current/index.html

haskell math book coq type-theory category-theory exercises

Updated Feb 24, 2017
HTML

coq-community / coq-community.github.io

coq-community website

website coq

Updated Jul 22, 2024
HTML

racherb / racherb.github.io

✨ racherb's personal blog

blog haskell functional-programming coq artificial-intelligence safety ethical

Updated Apr 2, 2021
HTML

dc-mak / coq-dpdgraph

Build dependency graphs between COQ objects

neo4j graph coq coq-plugin

Updated Dec 2, 2017
HTML

h2-math / coq-nahas-tutorial

Coq Tutorial from Mike Nahas's repo at https://github.com/mdnahas/mdnahas.github.io/doc/nahas_tutorial.v

math coq logic proof-assistant interactive-theorem-proving

Updated Jan 15, 2025
HTML

Created by Gérard Pierre Huet, Thierry Coquand

Released 1989

Latest release 27 days ago

Followers: 60 followers
Repository: coq/coq
Website: coq.inria.fr
Wikipedia: Wikipedia