Similar repositories to Wenda302/IsarStep:

• Wenda302/IsarStep github similar
• openai/tiktoken github similar
• jerryjliu/gpt_index github similar
• ggerganov/llama.cpp github similar
• lupantech/dl4math github similar
• facebookresearch/llama github similar
• aisec-private/ImandraNN github similar
• albertqjiang/INT github similar
• leanprover-community/mathlib3port github similar
• ml4tp/tcoq github similar
• ai4reason/ATP_Proofs github similar
• jesse-michael-han/lean-step-public github similar
• opencompl/lean-gap github similar
• leanprover-community/mathport github similar
• shihui2010/symbolic_simplifier github similar
• JamesGallicchio/LeanColls github similar
• jtristan/stump-learnable github similar
• Coq-Polyhedra/Coq-Polyhedra github similar
• So-Cool/you-only-write-thrice github similar
• saikrishna-1996/deep_pepper_chess github similar
• bzhan/auto2 github similar
• starkware-libs/formal-proofs github similar
• airza/RngPredictor github similar
• google/formal-ml github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• opencompl/lean-mlir github similar
• kbuzzard/lean-stacks-project github similar
• leanprover-community/sphere-eversion github similar
• joaomonteirof/hGAN github similar
• avigad/mathematics_in_lean_source github similar
• JUrban/deepmath github similar
• pis147879/PELCR github similar
• bzhan/holpy github similar
• leanprover/LeanInk github similar
• leanprover-community/mathematics_in_lean github similar
• brain-research/hol-light github similar
• siddhartha-gadgil/Saturn github similar
• ForoughA/neuralMath github similar
• openai/lean-gym github similar
• dselsam/neurocore-public github similar