Similar repositories to aspiwack/peppermint-prover:

• aspiwack/peppermint-prover github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• hecrj/iced github similar
• tootsuite/mastodon github similar
• meilisearch/MeiliSearch github similar
• Eloston/ungoogled-chromium github similar
• pixijs/pixi.js github similar
• RobertHarper/hott-notes github similar
• ayberkt/simplc github similar
• julianhyde/morel github similar
• LightAndLight/qtt github similar
• robrix/path github similar
• mikeshulman/dirtt github similar
• jespercockx/reflection-tutorial github similar
• ericfinster/opetopic github similar
• pigworker/TypesWhoSayNi github similar
• LightAndLight/cbpv github similar
• aquynh/capstone github similar
• ReactTraining/react-router github similar
• tuvtran/project-based-learning github similar
• metaborg/linear.agda github similar
• ichistmeinname/free-proving github similar
• hablapps/LensAlgebra github similar
• mr-ohman/logrel-mltt github similar
• inanna-malick/hgit github similar
• gallais/parseque github similar
• LightAndLight/meta-lambda github similar
• Lysxia/system-F github similar
• thery/T2048 github similar
• AndrasKovacs/setoidtt github similar
• ekmett/monad-ran github similar
• ziman/itt-idris github similar
• UlfNorell/insane github similar
• twanvl/ttie github similar
• LightAndLight/parametricity-proofs github similar
• clarus/coq-of-js github similar
• ollef/dependent-hashmap github similar
• vlopezj/coq-course github similar
• ericfinster/opetopes-in-agda github similar