Similar repositories to jasonrute/thoughts-on-ai-for-theorem-proving:

• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• danistefanovic/build-your-own-x github similar
• ai4reason/ATP_Proofs github similar
• leanprover-community/lean-client-python github similar
• ericrbg/leanFAQ github similar
• jasonrute/lean_proof_recording github similar
• google/formal-ml github similar
• jesse-michael-han/lean-step-public github similar
• dwrensha/lean4-maze github similar
• leanprover/LeanInk github similar
• jasonrute/communicating-with-lean github similar
• gebner/lean4-mathlib-import github similar
• mmasdeu/topologygame github similar
• atarnoam/lean-automata github similar
• siddhartha-gadgil/Polylean github similar
• openai/lean-gym github similar
• leanprover/lean4-samples github similar
• JLimperg/aesop github similar
• leanprover-community/mathlib3port github similar
• jasonrute/holist-communication-example github similar
• eric-wieser/lean-matrix-cookbook github similar
• Julian/lftim github similar
• kendfrey/rubiks-cube-group github similar
• jesse-michael-han/lean-gptf github similar
• hargoniX/cpdt-lean github similar
• dselsam/binport github similar
• siddhartha-gadgil/lean-loris github similar
• sorear/smm github similar
• dselsam/mathport github similar
• wellecks/mgs github similar
• wellecks/symbolic_generalization github similar
• Vtec234/lean-sesh github similar
• juxt/crux github similar
• hanxiao/bert-as-service github similar
• lukaszbanasiak/yahoo-finance github similar
• recitalAI/QuestEval github similar
• hecrj/iced github similar
• krassowski/jupyterlab-lsp github similar
• kon9chunkit/GitHub-Chinese-Top-Charts github similar