Similar repositories to jesse-michael-han/lean-gptf:

• jesse-michael-han/lean-gptf github similar
• openai/lean-gym github similar
• danistefanovic/build-your-own-x github similar
• dwrensha/lean4-maze github similar
• leanprover-community/lean-client-python github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• gibiansky/IHaskell github similar
• jesse-michael-han/lean-step-public github similar
• hecrj/iced github similar
• zhangir-azerbayev/lean-chat-vscode github similar
• openai/miniF2F github similar
• digama0/lean-type-theory github similar
• duckki/lean-quantum github similar
• dselsam/binport github similar
• leanprover-community/lftcm2020 github similar
• leanprover-community/mathlib4 github similar
• kmill/lean4-raytracer github similar
• mhuisi/lean4-cli github similar
• lecopivo/SciLean github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• leanprover-community/vscode-lean4 github similar
• krassowski/jupyterlab-lsp github similar
• aquynh/capstone github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• pandas-profiling/pandas-profiling github similar
• zhangir-azerbayev/lean-chat github similar
• leanprover/lake github similar
• google/formal-ml github similar
• b-mehta/topos github similar
• kbuzzard/mathlib4_experiments github similar
• jesse-michael-han/lean-tpe-public github similar
• david-a-wheeler/mmverify.py github similar
• flypitch/flypitch github similar
• RobertHarper/hott-notes github similar
• leanprover/vscode-lean github similar
• leanprover-community/lean-liquid github similar
• leanprover-community/mathlib-tools github similar
• ImperialCollegeLondon/real-number-game github similar
• groupoid/lean github similar
• PeterScholze/Analytic github similar