PUMPKIN-PATCHProof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Stars: ✭ 43 (+115%)
Mutual labels: coq, coq-plugin
coqealThe Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Stars: ✭ 62 (+210%)
Mutual labels: coq, coq-platform
gaiaImplementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Stars: ✭ 15 (-25%)
Mutual labels: coq, docker-coq-action
hydra-battlesVariations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Stars: ✭ 38 (+90%)
Mutual labels: coq, docker-coq-action
coq-artCoq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Stars: ✭ 57 (+185%)
Mutual labels: coq, docker-coq-action
chaparA framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Stars: ✭ 29 (+45%)
Mutual labels: coq, docker-coq-action
cornCoq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Stars: ✭ 106 (+430%)
Mutual labels: coq, coq-platform
toychainA minimalistic blockchain consensus implemented and verified in Coq
Stars: ✭ 103 (+415%)
Mutual labels: coq
ActuaryFormalization of the basic actuarial mathematics using Coq
Stars: ✭ 17 (-15%)
Mutual labels: coq
coq-100-theoremsStatements of famous theorems proven in Coq [maintainer=@jmadiot]
Stars: ✭ 41 (+105%)
Mutual labels: coq
opam-coq-archiveArchive for all Coq related OPAM packages organized in various repositories
Stars: ✭ 101 (+405%)
Mutual labels: coq
coq-talFormalization of Typed Assembly Language (TAL) in Coq
Stars: ✭ 15 (-25%)
Mutual labels: coq
iris-simp-langWe define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
Stars: ✭ 40 (+100%)
Mutual labels: coq
CoqCheatSheetReference sheet for the Coq language.
Stars: ✭ 15 (-25%)
Mutual labels: coq
coq-elpiCoq plugin embedding elpi
Stars: ✭ 92 (+360%)
Mutual labels: coq
coq-to-ocaml-to-jsProof of concept to generate safe and fast JavaScript
Stars: ✭ 25 (+25%)
Mutual labels: coq
koikaA core language for rule-based hardware design 🦑
Stars: ✭ 103 (+415%)
Mutual labels: coq
hs-to-coqConvert Haskell source code to Coq source code.
Stars: ✭ 64 (+220%)
Mutual labels: coq
coqffiCoq to OCaml FFI made easy [maintainer=@lthms]
Stars: ✭ 27 (+35%)
Mutual labels: coq
stablesortStable sort algorithms and their stability proofs in Coq
Stars: ✭ 19 (-5%)
Mutual labels: coq