#

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

waterproof

impermeable / waterproof

Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

Updated Mar 19, 2024
JavaScript

coq-community / coqdocjs

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

javascript css html coq coqdoc

Updated Jul 31, 2024
JavaScript

smorimoto / coq-to-ocaml-to-js

Proof of concept to generate safe and fast JavaScript

javascript ocaml coq proof bucklescript

Updated Aug 7, 2022
JavaScript

formal-land / coq-of-js

🌍 🐓 Formal verification for JavaScript

javascript coq verification

Updated Jul 10, 2023
JavaScript

anton-trunov / ssreflect-mathcomp-talk-moscow-2019

SSReflect/Mathcomp talk at FProg meetup(2019), Moscow

slides coq ssreflect mathcomp

Updated Apr 8, 2019
JavaScript

Created by Gérard Pierre Huet, Thierry Coquand

Released 1989

Latest release 2 months ago

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