Similar repositories to gmalecha/coq-interaction-trees:

• gmalecha/coq-interaction-trees github similar
• danistefanovic/build-your-own-x github similar
• ivanbakel/coq-antivalence github similar
• uds-psl/coq-a-la-carte-cpp20 github similar
• pedrotst/coquedille github similar
• Matafou/LibHyps github similar
• DmxLarchey/ite-normalisation github similar
• pigworker/LibAgda github similar
• ayberkt/abt github similar
• SimonBoulier/TypingFlags github similar
• gmalecha/coq-printf github similar
• skeuchel/gdtc github similar
• ayberkt/Mini-TT github similar
• bristolpl/intensional-datatys github similar
• aa755/SquiggleEq github similar
• andreasabel/ipl github similar
• gmalecha/template-coq github similar
• plclub/lngen github similar
• FreeProving/language-coq github similar
• uwplse/magic github similar
• thery/T2048 github similar
• coq-community/atbr github similar
• aa755/paramcoq-iff github similar
• ssomayyajula/elab github similar
• aa755/paramcoq github similar
• gallais/parseque github similar
• clarus/coq-of-js github similar
• hephaestus-pl/coqfj github similar
• ybertot/plugin_tutorials github similar
• jashug/FormalizedCompilerAlgorithms github similar
• lastland/ClairvoyanceMonad github similar
• jonsterling/agda-abt github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• mit-plv/cross-crypto github similar
• rodrigogribeiro/unification github similar
• gallais/thesis github similar
• GaloisInc/cryptol-semantics github similar
• dschepler/coq-sequent-calculus github similar
• heades/cut-fill-agda github similar
• yurrriq/idris-logic github similar