coqsucker
Popular repositories Loading
-
coq-belgames-csl2023
coq-belgames-csl2023 PublicForked from pPomCo/belgames
Coq proof for "Games of Incomplete Information: a Framework Based on Belief Functions"
Coq
-
-
pnp
pnp PublicForked from ilyasergey/pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
Coq
-
toychain
toychain PublicForked from verse-lab/toychain
A minimalistic blockchain consensus implemented and verified in Coq
Coq
-
fiat
fiat PublicForked from mit-plv/fiat
Mostly Automated Synthesis of Correct-by-Construction Programs
Coq
-
coq-exercises
coq-exercises PublicForked from ilyasergey/coq-exercises
Exercises for Coq course, based on SSReflect, Coq'Art and CPDT
Coq
Repositories
- UniMath Public Forked from UniMath/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
coqsucker/UniMath’s past year of commit activity - coqLANG Public Forked from rocq-prover/rocq
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.
coqsucker/coqLANG’s past year of commit activity - category-theoryll Public Forked from coqsucker/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
coqsucker/category-theoryll’s past year of commit activity - category-theory Public Forked from jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
coqsucker/category-theory’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…