Similar repositories to openai/lean-gym:

• openai/lean-gym github similar
• danistefanovic/build-your-own-x github similar
• jesse-michael-han/lean-gptf github similar
• srush/GPU-Puzzles github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• openai/miniF2F github similar
• jesse-michael-han/lean-step-public github similar
• sarsko/CreuSAT github similar
• zhangir-azerbayev/lean-chat github similar
• pixijs/pixi.js github similar
• yandex/YaLM-100B github similar
• salesforce/CodeRL github similar
• dwrensha/lean4-maze github similar
• google/formal-ml github similar
• JLimperg/aesop github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• siddhartha-gadgil/Saturn github similar
• openai/Video-Pre-Training github similar
• toeverything/AFFiNE github similar
• gibiansky/IHaskell github similar
• motemen/gore github similar
• tootsuite/mastodon github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• hecrj/iced github similar
• hanxiao/bert-as-service github similar
• krassowski/jupyterlab-lsp github similar
• leanprover-community/lean-client-python github similar
• IPDSnelting/tba-2021 github similar
• leanprover/lake github similar
• david-a-wheeler/mmverify.py github similar
• rwbarton/advent-of-lean-4 github similar
• leanprover-community/lftcm2020 github similar
• jasonrute/lean_proof_recording github similar
• joehendrix/lean-sat-checker github similar
• leanprover-community/mathlib-tools github similar
• leanprover/LeanInk github similar
• dselsam/mathport github similar
• verse-lab/ego github similar
• mhuisi/lean4-cli github similar
• leanprover/lean4-samples github similar