Similar repositories to dselsam/lean-gym:

• dselsam/lean-gym github similar
• tuvtran/project-based-learning github similar
• marcusrossel/model-checking github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• k6io/k6 github similar
• Eloston/ungoogled-chromium github similar
• minchaowu/mm-lean github similar
• marcusrossel/reactor-model github similar
• insightmind/alectryon github similar
• javra/iit github similar
• alashworth/sf-lean github similar
• cipher1024/lambda-calc github similar
• jtristan/FormalML github similar
• hargoniX/cpdt-lean github similar
• gebner/lean4-mathlib-import github similar
• unitb/temporal-logic github similar
• filipmaric/IMO github similar
• arthurpaulino/NumLean github similar
• tydeu/lean4-alloy github similar
• tydeu/lean4-itertools github similar
• opencompl/lean-mlir-semantics github similar
• Kha/do-supplement github similar
• crabbo-rave/Soup github similar
• TwoFX/lean-homological-algebra github similar
• jalex-stark/lean-at-MC2020 github similar
• leanprover-community/leancrawler github similar
• RobertHarper/pfpl-syntax github similar
• navilan/wabi github similar
• leanprover-community/mathlib3port github similar
• lecopivo/HouLean github similar
• leanprover/smt2_interface github similar
• jesse-michael-han/lean-step-public github similar
• leo-colisson/zx-calculus github similar
• yatima-inc/Parsec.lean github similar
• ccodel/verified-encodings github similar
• SnobbyDragon/leanhanoi github similar
• leanprover/lean4-samples github similar
• avigad/lamr github similar