Similar repositories to toothbrush/reflection-proofs:

• toothbrush/reflection-proofs github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• effectfully/random-stuff github similar
• gallais/agda-presburger github similar
• wjzz/Agda-mode-improvements github similar
• sellout/Idris-CPDT github similar
• L-TChen/MtacAR github similar
• RobertHarper/hott-notes github similar
• gallais/agda-nbe github similar
• benkavanagh/ccoq-explicit-sn github similar
• wjzz/Agda-Representing-Monads github similar
• wjzz/Agda-small-developments-and-examples github similar
• effectfully/STLC github similar
• pcapriotti/agda-base github similar
• uds-psl/autosubst-ocaml github similar
• yforster/coq-synthetic-computability github similar
• pixijs/pixi.js github similar
• precog/quasar github similar
• alexcrichton/cc-rs github similar
• benmos/HLevy github similar
• pigworker/BathTime github similar
• wenkokke/AutoInAgda github similar
• bobatkey/system-f-parametricity-model github similar
• david-christiansen/derive-all-the-instances github similar
• effectfully/Big-Step-Normalization github similar
• jmchapman/Big-step-Normalisation github similar
• nilcons/ceh github similar
• wjzz/Agda-theorem-library github similar
• mr-ohman/logrel-mltt github similar
• effectfully/Beauty-and-the-Beast github similar
• Saizan/miller github similar
• kirstin-rhys/nestedmap github similar
• ilya-klyuchnikov/sll-meta-haskell github similar
• pigworker/Vole github similar
• JacquesCarette/GenCheck github similar
• bobatkey/foveran github similar
• np/names-for-free github similar
• bfops/open-union github similar
• wjzz/Agda-reflection-for-semiring-solver github similar