Similar repositories to jalex-stark/lean-at-MC2020:

• jalex-stark/lean-at-MC2020 github similar
• tootsuite/mastodon github similar
• aquynh/capstone github similar
• Eugeny/terminus github similar
• hecrj/iced github similar
• k6io/k6 github similar
• Eloston/ungoogled-chromium github similar
• meilisearch/MeiliSearch github similar
• tuvtran/project-based-learning github similar
• stanescuUW/LeanPuzzles github similar
• maxd13/logic-soundness github similar
• jsm28/bmo2-2020-lean github similar
• NeilStrickland/lean_primes github similar
• gihanmarasingha/exleanblog github similar
• filipmaric/IMO github similar
• vbeffara/lean github similar
• jonsterling/coq-algebra github similar
• kappelmann/engaging-large-scale-functional-programming github similar
• DanGrayson/VV-C-system-from-a-monad github similar
• TwoFX/lean-homological-algebra github similar
• dselsam/lean-gym github similar
• m4lvin/tablean github similar
• Lix0120/eudoxus github similar
• minchaowu/mm-lean github similar
• leo-colisson/zx-calculus github similar
• uds-psl/churchs-thesis-coq github similar
• paolobrasolin/jekyll-sheafy github similar
• gvolpe/types-matter github similar
• rwbarton/lean-homotopy-theory github similar
• arthuraa/beaq github similar
• ImperialCollegeLondon/M1P1-lean github similar
• leanprover-community/leancrawler github similar
• danburkert/prost github similar
• srid/tailwind-haskell github similar
• agusakov/category-theory-game github similar
• alashworth/sf-lean github similar
• MaiaVictor/Elementary-Affine-Type-Theory-legacy github similar
• formalabstracts/CNL-CIC github similar
• styzystyzy/Axiomatic_Set_Theory github similar
• gionkunz/chartist-js github similar