Similar repositories to leanprover/lean2:

• leanprover/lean2 github similar
• danistefanovic/build-your-own-x github similar
• tootsuite/mastodon github similar
• aquynh/capstone github similar
• gibiansky/IHaskell github similar
• Eloston/ungoogled-chromium github similar
• hecrj/iced github similar
• tuvtran/project-based-learning github similar
• meilisearch/MeiliSearch github similar
• pixijs/pixi.js github similar
• RobertHarper/hott-notes github similar
• k6io/k6 github similar
• Eugeny/terminus github similar
• ReactTraining/react-router github similar
• oven-sh/bun github similar
• alexcrichton/cc-rs github similar
• leanprover/tutorial github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• gebner/hott3 github similar
• chriskempson/base16 github similar
• ubuntu/microk8s github similar
• sarsko/CreuSAT github similar
• coq-community/math-classes github similar
• danburkert/prost github similar
• HoTT/HoTT-Agda github similar
• math-comp/hierarchy-builder github similar
• RedPRL/redtt github similar
• martinescardo/TypeTopology github similar
• b-mehta/topos github similar
• Deducteam/lambdapi github similar
• GeoCoq/GeoCoq github similar
• Deducteam/Dedukti github similar
• motemen/gore github similar
• blockstack/stacks github similar
• yandex/YaLM-100B github similar
• Ptival/PeaCoq github similar
• math-comp/mcb github similar
• leanprover/logic_and_proof github similar
• groupoid/anders github similar
• coq-contribs/coq-in-coq github similar