Similar repositories to jesse-michael-han/lean-tpe-public:

• jesse-michael-han/lean-tpe-public github similar
• jasonrute/lean_proof_recording github similar
• jesse-michael-han/lean-step-public github similar
• ai4reason/ATP_Proofs github similar
• konn/smooth github similar
• HoTT/HoTT-2019 github similar
• leanprover-community/mathzoo github similar
• sorear/smetamath-rs github similar
• google/formal-ml github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• leanprover/lean-client-js github similar
• JUrban/deepmath github similar
• jesse-michael-han/lean-gptf github similar
• pygae/lean-ga github similar
• groupoid/lean github similar
• jaycech3n/Isabelle-HoTT github similar
• metamath/metamath-book github similar
• zhangir-azerbayev/lean-chat github similar
• b-mehta/topos github similar
• ramonfmir/lean-scheme github similar
• cmu-phil/Spectral github similar
• thescrivener/PursuingStacks github similar
• raphlinus/ghilbert github similar
• openai/lean-gym github similar
• dlicata335/hott-agda github similar
• gebner/hott3 github similar
• openai/grok github similar
• digama0/lean-type-theory github similar
• wellecks/naturalproofs github similar
• clarus/falso github similar
• openai/miniF2F github similar
• andrejbauer/Homotopy github similar
• flypitch/flypitch github similar
• leanprover/vscode-lean github similar
• leanprover-community/lean-liquid github similar
• leanprover-community/lean-perfectoid-spaces github similar
• UniMath/agda-unimath github similar
• HoTT-Intro/Agda github similar
• martinescardo/TypeTopology github similar
• leanprover/lean2 github similar