Coq topic
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.
jscoq
A port of Coq to Javascript -- Run Coq in your Browser
PG
This repo is the new home of Proof General
VST
Verified Software Toolchain
HoTT-Intro
An introductory course to Homotopy Type Theory
metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
proofs
My personal repository of formally verified mathematics.
QuickChick
Randomized Property-Based Testing Plugin for Coq
vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]