Similar repositories to coq-community/templates:

• coq-community/templates github similar
• danistefanovic/build-your-own-x github similar
• coq-community/proviola github similar
• coq-community/docker-coq-action github similar
• bedrocksystems/cpp2v github similar
• runtimeverification/casper-cbc-proofs github similar
• palmskog/coqdocjs github similar
• clarus/coq-function-ninjas github similar
• ocaml-sf/learn-ocaml-places github similar
• pPomCo/coq-belgames-csl2023 github similar
• erikmd/ssr-under-tac github similar
• m0rphism/definitional github similar
• palmskog/coq-program-verification-template github similar
• tchajed/coq-survey github similar
• arthuraa/deriving github similar
• combinators/cls-coq github similar
• amahboubi/lia4mathcomp github similar
• erikmd/docker-coq-travis-ci-demo-1 github similar
• coq-community/docker-base github similar
• amintimany/NbE github similar
• DmxLarchey/PC19 github similar
• math-comp/tutorial_material github similar
• lukaszcz/coinduction github similar
• erikmd/docker-coq-github-action-demo github similar
• jesper-bengtson/ChargeCore github similar
• kendroe/CoqRewriter github similar
• masaomi-yamaguchi/synbit github similar
• coq-community/comp-dec-modal github similar
• uds-psl/autosubst2 github similar
• math-comp/docker-mathcomp github similar
• coq-community/reduction-effects github similar
• letouzey/coq-mmaps github similar
• EngineeringSoftware/roosterize github similar
• skeuchel/needle github similar
• aa755/paramcoq github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• vyorkin/okasaki-ocaml github similar
• matthesjh/coq-tal github similar
• lastland/ClairvoyanceMonad github similar
• proofengineering/proofengineering-bib github similar