Similar repositories to palmskog/coq-program-verification-template:

• palmskog/coq-program-verification-template github similar
• bedrocksystems/cpp2v github similar
• danistefanovic/build-your-own-x github similar
• tchajed/ltac2-tutorial github similar
• Lysxia/coq-simple-io github similar
• mit-plv/rewriter github similar
• SimonBoulier/TypingFlags github similar
• gmalecha/coq-printf github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• gibiansky/IHaskell github similar
• clarus/coq-of-js github similar
• arthuraa/deriving github similar
• thery/T2048 github similar
• coq-community/templates github similar
• coq-community/coqffi github similar
• coq-community/bits github similar
• tchajed/coq-record-update github similar
• damien-pous/relation-algebra github similar
• affeldt-aist/monae github similar
• coq-tactician/coq-tactician github similar
• gallais/parseque github similar
• letouzey/coq-minicalc github similar
• Lysxia/system-F github similar
• Lysxia/coq-ceres github similar
• uwplse/PUMPKIN-PATCH github similar
• bobatkey/system-f-parametricity-model github similar
• sarsko/CreuSAT github similar
• Lysxia/coq-recursion-schemes github similar
• Twey/agda-imp github similar
• tlringer/ml-for-proofs github similar
• oven-sh/bun github similar
• smlnj/smlnj github similar
• roc-lang/roc github similar
• runtimeverification/casper-cbc-proofs github similar
• roglo/coq_real github similar
• madgen/refinement-types-seminar github similar
• matthesjh/coq-tal github similar
• ivanbakel/coq-antivalence github similar
• uwplse/pumpkin-pi github similar