Similar repositories to uwplse/pumpkin-pi:

• uwplse/pumpkin-pi github similar
• uwplse/PUMPKIN-PATCH github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• coq-community/lemma-overloading github similar
• palmskog/coq-program-verification-template github similar
• tchajed/ltac2-tutorial github similar
• LPCIC/coq-elpi github similar
• bedrocksystems/cpp2v github similar
• coq/bignums github similar
• tlringer/plugin-tutorial github similar
• math-comp/hierarchy-builder github similar
• SimonBoulier/TypingFlags github similar
• roglo/coq_real github similar
• uds-psl/coq-library-undecidability github similar
• plclub/metalib github similar
• mit-plv/rewriter github similar
• L-TChen/MtacAR github similar
• coq-community/atbr github similar
• bobatkey/system-f-parametricity-model github similar
• thery/T2048 github similar
• ayberkt/simplc github similar
• tlringer/thesis github similar
• uwplse/magic github similar
• slasser/vermillion github similar
• pedagand/MPRI-2.4-DTP github similar
• RobertHarper/hott-notes github similar
• coq-community/coqffi github similar
• coq-community/autosubst github similar
• proofengineering/proofengineering-bib github similar
• Lysxia/coq-simple-io github similar
• xavierleroy/cdf-program-logics github similar
• groupoid/anders github similar
• JasonGross/coq-tools github similar
• snu-sf/paco github similar
• matthesjh/coq-tal github similar
• coq-community/manifesto github similar
• Armael/coq-procrastination github similar
• JoeyEremondi/lambda-pi-constraint github similar
• coq-community/dblib github similar