Similar repositories to kcsmnt0/proof-trees:

• kcsmnt0/proof-trees github similar
• bristolpl/intensional-datatys github similar
• trifunovski/Resolution-Theorem-Prover github similar
• LightAndLight/certified-lc github similar
• kwf/Presburger github similar
• FreeProving/language-coq github similar
• joshuasellers/CardgameDSL github similar
• sarsko/CreuSAT github similar
• nachivpn/coherence github similar
• danistefanovic/build-your-own-x github similar
• lambdageek/emile github similar
• spicydonuts/purescript-spectacle-presentation github similar
• ollef/incrementalism github similar
• tynril/torus-flock github similar
• andrejtokarcik/agda-semantics github similar
• ancientlanguage/agda-grammar github similar
• LightAndLight/como github similar
• hecrj/iced github similar
• plt-hokusai/ahc github similar
• discus-lang/salt-vscode github similar
• Twey/agda-imp github similar
• bitmappergit/Prelude github similar
• jespercockx/ttac github similar
• asr/tm-coinduction github similar
• RichardMoot/Grail0 github similar
• CoqHott/coq-effects github similar
• takanuva/coc github similar
• goldfirere/ott-tutorial github similar
• cutsea110/magma github similar
• tetrapharmakon/isbell-frames github similar
• awodey/ritop github similar
• ratmice/json-pop github similar
• yizhouzhang/olaf-coq github similar
• appliedfm/vstyle github similar
• shayan-najd/HsAST github similar
• BekaValentine/basic-proof-development github similar
• jcreedcmu/lambda-maps github similar
• panicz/grasp-android github similar
• hurryabit/pukeko github similar
• mertdumenci/system-lk github similar