Similar repositories to BekaValentine/basic-proof-development:

• BekaValentine/basic-proof-development github similar
• mrkgnao/utt github similar
• ehildenb/homod github similar
• trifunovski/Resolution-Theorem-Prover github similar
• jonsterling/sml-pronominal-ml github similar
• cmcl/msci github similar
• jirkamarsik/ling-eff github similar
• jonsterling/ocaml-abt github similar
• jonsterling/sml-spreads github similar
• noamz/linlam-gos github similar
• lucaspena/coinduction github similar
• kwf/Presburger github similar
• ayberkt/sml-colors github similar
• ayberkt/tinyrw github similar
• rodrigogribeiro/generic github similar
• parsonsmatt/packedbits github similar
• ssomayyajula/elab github similar
• MathiasVP/Alpha github similar
• danistefanovic/build-your-own-x github similar
• jonsterling/agda-abt github similar
• kcsmnt0/proof-trees github similar
• sweirich/PHICWIC2018 github similar
• asr/tm-coinduction github similar
• joom/modal github similar
• pruvisto/TRS github similar
• hazelgrove/artifact-popl17 github similar
• jonsterling/lcf-sequent-calculus-example github similar
• joom/thesis-modal github similar
• cocreature/pfpl-redex github similar
• mertdumenci/system-lk github similar
• holmuk/coq-zipper github similar
• Ptival/HaysTac github similar
• ayberkt/Mini-TT github similar
• barras/abstract-machines github similar
• charleso/bantam github similar
• yurrriq/the-power-of-pi github similar
• gmalecha/coq-plugin-template github similar
• jihgfee/coq-system_f github similar
• FreeProving/language-coq github similar
• bristolpl/intensional-datatys github similar