Similar repositories to ai4reason/ATP_Proofs:

• ai4reason/ATP_Proofs github similar
• lab-ml/annotated_deep_learning_paper_implementations github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• aztek/tptp github similar
• jesse-michael-han/lean-tpe-public github similar
• leanprover-community/mathlib3port github similar
• albertqjiang/Portal-to-ISAbelle github similar
• google/formal-ml github similar
• jesse-michael-han/lean-step-public github similar
• opencompl/lean-mlir github similar
• opencompl/lean-gap github similar
• jasonrute/lean_proof_recording github similar
• JamesGallicchio/LeanColls github similar
• jtristan/stump-learnable github similar
• Coq-Polyhedra/Coq-Polyhedra github similar
• microsoft/prompt-engine github similar
• tlringer/ml-for-proofs github similar
• albertqjiang/INT github similar
• starkware-libs/formal-proofs github similar
• aisejohan/cring github similar
• kbuzzard/lean-stacks-project github similar
• gebner/trepplein github similar
• leanprover-community/mathport github similar
• avigad/mathematics_in_lean_source github similar
• wellecks/naturalproofs github similar
• princeton-vl/FormulaNet github similar
• leanprover/LeanInk github similar
• leanprover-community/mathematics_in_lean github similar
• leanprover/lake github similar
• zhangir-azerbayev/lean-chat github similar
• openai/miniF2F github similar
• jesse-michael-han/lean-gptf github similar
• ramonfmir/lean-scheme github similar
• leanprover-community/format_lean github similar
• openai/lean-gym github similar
• IBM/FormalML github similar
• IPDSnelting/tba-2021 github similar
• PatrickMassot/lean-verbose github similar
• quchen/generative-art github similar
• leanprover/tc github similar