Similar repositories to leanprover/tutorial:

• leanprover/tutorial github similar
• danistefanovic/build-your-own-x github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar
• RobertHarper/hott-notes github similar
• gibiansky/IHaskell github similar
• htzh/leanproved github similar
• blockstack/stacks github similar
• ReactTraining/react-router github similar
• edx/edx-platform github similar
• motemen/gore github similar
• expnkx/fast_io github similar
• precog/quasar github similar
• Eloston/ungoogled-chromium github similar
• Eugeny/terminus github similar
• pixijs/pixi.js github similar
• meilisearch/MeiliSearch github similar
• leanprover/presentations github similar
• leanprover/tc github similar
• rampion/conkin github similar
• leanprover/lean2 github similar
• leanprover/logic_and_proof github similar
• GaloisInc/LIMA github similar
• leanprover/theorem_proving_in_lean github similar
• lthms/chain github similar
• esengie/fpl-exploration-tool github similar
• hyperfiddle/hyperfiddle github similar
• dorchard/effects-as-sessions github similar
• ezyang/backpack-examples github similar
• cocreature/smt-pretty github similar
• aquynh/capstone github similar
• domchristie/turndown github similar
• k6io/k6 github similar
• zalando/connexion github similar
• yandex/YaLM-100B github similar
• timgrossmann/InstaPy github similar
• oven-sh/bun github similar
• frerich/catamorphism github similar
• robrix/abstract-interpretation github similar
• leanprover/vscode-lean github similar