Similar repositories to avigad/polya:

• avigad/polya github similar
• aquynh/capstone github similar
• ReactTraining/react-router github similar
• avigad/boole github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• tydeu/lean4-papyrus github similar
• bedrocksystems/cpp2v github similar
• domchristie/turndown github similar
• tuvtran/project-based-learning github similar
• k6io/k6 github similar
• tootsuite/mastodon github similar
• krassowski/jupyterlab-lsp github similar
• CVC4/signatures github similar
• DanGrayson/checker github similar
• o89/bum github similar
• robertylewis/mathematica github similar
• htzh/leanproved github similar
• wenkokke/swillprover github similar
• leanprover/presentations github similar
• larrytheliquid/generic-elim github similar
• jrk/symalg github similar
• LaurentMazare/ocaml.jl github similar
• arthurpaulino/LeanMySQL github similar
• eprover/PyRes github similar
• leodemoura/lean github similar
• dwrensha/lean4-maze github similar
• leanprover/LeanInk github similar
• namin/blond github similar
• smtcoq/sniper github similar
• vcvpaiva/ConstructiveTemporalLogic github similar
• mlisicki/InferenceEngine github similar
• videlec/pplpy github similar
• motemen/gore github similar
• Averethel/OCamlMin github similar
• expnkx/fast_io github similar
• terrastruct/d2 github similar
• eclipse-sprotty/sprotty github similar
• pixijs/pixi.js github similar
• kon9chunkit/GitHub-Chinese-Top-Charts github similar