Similar repositories to tlringer/proof-demos:

• tlringer/proof-demos github similar
• danistefanovic/build-your-own-x github similar
• tlringer/thesis github similar
• ejgallego/coq-lsp github similar
• groupoid/anders github similar
• tlringer/ml-for-proofs github similar
• RobertHarper/hott-notes github similar
• lastland/ClairvoyanceMonad github similar
• gibiansky/IHaskell github similar
• pixijs/pixi.js github similar
• hecrj/iced github similar
• toeverything/AFFiNE github similar
• WasmCert/WasmCert-Coq github similar
• ejgallego/pycoq github similar
• siddhartha-gadgil/Saturn github similar
• Lysxia/coq-simple-io github similar
• appliedfm/vstyle github similar
• Trebor-Huang/Down-The-Path github similar
• flupe/generics github similar
• dunnl/tealeaves github similar
• sweirich/lennart-lambda github similar
• coq-community/bits github similar
• RedPRL/stagedtt github similar
• verse-lab/ego github similar
• mb64/xtt github similar
• elpinal/subtyping-agda github similar
• sweirich/graded-haskell github similar
• FrozenWinters/stlc github similar
• coq-community/atbr github similar
• minkiminki/Ordinal github similar
• forked-from-1kasper/anders github similar
• ziman/itt-idris github similar
• atennapel/tinka-hs github similar
• uwplse/pumpkin-pi github similar
• metaborg/linear.agda github similar
• RedPRL/algaett github similar
• kcsmnt0/quotient github similar
• tlringer/plugin-tutorial github similar
• jonsterling/agda-calf github similar
• mr-ohman/logrel-mltt github similar