Similar repositories to minchaowu/mm-lean:

• minchaowu/mm-lean github similar
• leanprover-community/vscode-lean4 github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• tuvtran/project-based-learning github similar
• k6io/k6 github similar
• Eloston/ungoogled-chromium github similar
• hecrj/iced github similar
• oven-sh/bun github similar
• pintariching/rustle github similar
• polymonster/maths-rs github similar
• gebner/m17n-lean github similar
• dselsam/lean-gym github similar
• jasonrute/annotated_lean github similar
• alexjbest/dag-tools github similar
• SnobbyDragon/leanhanoi github similar
• leanprover-community/leancrawler github similar
• skbaek/cvx github similar
• siddhartha-gadgil/Polylean github similar
• bristolpl/intensional-datatys github similar
• gebner/lean4-mathlib-import github similar
• ysharoda/Deriving-Definitions github similar
• unitb/temporal-logic github similar
• filipmaric/IMO github similar
• paolobrasolin/jekyll-sheafy github similar
• jtristan/FormalML github similar
• rwbarton/lean-homotopy-theory github similar
• rwbarton/lean-omin github similar
• osa1/wasmrun github similar
• FreeProving/language-coq github similar
• joshuasellers/CardgameDSL github similar
• vbeffara/lean github similar
• adamtopaz/comb_geom github similar
• yatima-inc/LSpec github similar
• kendfrey/rubiks-cube-group github similar
• cartazio/system-lf github similar
• luqui/manifesto github similar
• jespercockx/ttac github similar
• pcaisse/language-map-us github similar
• Ptival/language-coq github similar