Similar repositories to CoqHott/parametricity-a-la-carte:

• CoqHott/parametricity-a-la-carte github similar
• danistefanovic/build-your-own-x github similar
• liyishuai/file-sync github similar
• holgerthies/continuity github similar
• coq-community/reduction-effects github similar
• coq-community/coq-performance-tests github similar
• as1ndu/vscode-scilla github similar
• minkiminki/Ordinal github similar
• dunnl/tealeaves github similar
• yforster/coqtheorem github similar
• lastland/ClairvoyanceMonad github similar
• appliedfm/vstyle github similar
• Zilliqa/scilla-docs github similar
• mit-plv/rewriter github similar
• formal-land/coq-bonsai github similar
• sweirich/graded-haskell github similar
• math-comp/odd-order github similar
• coq-community/atbr github similar
• coq/bot github similar
• arthuraa/deriving github similar
• bobatkey/system-f-parametricity-model github similar
• ayberkt/sequents github similar
• Zilliqa/scilla-coq github similar
• xavierleroy/coq2html github similar
• larsk21/iris-lean github similar
• math-comp/algebra-tactics github similar
• clayrat/fav-ssr github similar
• ejgallego/pycoq github similar
• fblanqui/color github similar
• coq-community/semantics github similar
• coq-community/autosubst github similar
• coq-community/aac-tactics github similar
• smtcoq/sniper github similar
• tlringer/ml-for-proofs github similar
• ejgallego/coq-lsp github similar
• RobertHarper/hott-notes github similar
• vlopezj/coq-course github similar
• tchajed/ltac2-tutorial github similar
• jonsterling/agda-calf github similar
• JasonGross/coq-tools github similar