Similar repositories to vaibhavkarve/leanteach2020:

• vaibhavkarve/leanteach2020 github similar
• tuvtran/project-based-learning github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• filipmaric/IMO github similar
• yatima-inc/LSpec github similar
• jsm28/bmo2-2020-lean github similar
• arthurpaulino/lean2md github similar
• ammkrn/nanoda_lib github similar
• adelon/naproche-cic github similar
• pixijs/pixi.js github similar
• aquynh/capstone github similar
• k6io/k6 github similar
• leanprover-community/vscode-lean4 github similar
• gibiansky/IHaskell github similar
• zhangir-azerbayev/lean-chat github similar
• leanprover-community/leancrawler github similar
• avigad/mathematics_in_lean_source github similar
• maxd13/logic-soundness github similar
• avigad/lamr github similar
• avigad/mathematics_in_lean github similar
• alashworth/sf-lean github similar
• leanprover-community/lt2021 github similar
• unitb/temporal-logic github similar
• unitb/separation-logic github similar
• Shenyang1995/M4R github similar
• google/formal-ml github similar
• leanprover-community/mathematics_in_lean github similar
• b-mehta/combinatorics github similar
• leanprover/LeanInk github similar
• yatima-inc/Blake3.lean github similar
• TwoFX/lean-homological-algebra github similar
• jalex-stark/lean-at-MC2020 github similar
• o89/bum github similar
• dselsam/lean-gym github similar
• vaibhavkarve/igl2020 github similar
• minchaowu/mm-lean github similar
• eric-wieser/lean-matrix-cookbook github similar
• leo-colisson/zx-calculus github similar
• SnobbyDragon/leanhanoi github similar