Similar repositories to nikivazou/theorem-proving-template:

• nikivazou/theorem-proving-template github similar
• danistefanovic/build-your-own-x github similar
• ReactTraining/react-router github similar
• gibiansky/IHaskell github similar
• sarsko/CreuSAT github similar
• RobertHarper/hott-notes github similar
• shlevy/cat-fiat github similar
• msprotz/proof-search-monad github similar
• dbp/howtoproveacompiler github similar
• LightAndLight/stg-llvm github similar
• elliottt/located github similar
• nikivazou/proof-combinators github similar
• pixijs/pixi.js github similar
• aquynh/capstone github similar
• mathandley/RTick github similar
• hecrj/iced github similar
• ezyang/groom github similar
• ivan-m/transmogrify github similar
• cocreature/smt-pretty github similar
• GaloisInc/cryfsm github similar
• GaloisInc/LIMA github similar
• benjaminselfridge/logix github similar
• sweirich/replib github similar
• LeastAuthority/haskell-spake2 github similar
• gallais/typing-with-leftovers github similar
• ziman/itt github similar
• ssomayyajula/elab github similar
• sweirich/trellys github similar
• mbg/hindley-milner github similar
• yoricksijsling/ornaments-thesis github similar
• benjaminselfridge/propcheck github similar
• robrix/abstract-interpretation github similar
• eugmes/imp github similar
• evertedsphere/preposterous github similar
• snowleopard/graph-algebra github similar
• michaelpj/abstract-machine-debuggers github similar
• Ptival/recursion-schemes-examples github similar
• mchakravarty/haskell.sty github similar
• dorchard/coeffects-experiments github similar
• vincenthz/hsco github similar