Similar repositories to kbuzzard/mathlib4_experiments:

• kbuzzard/mathlib4_experiments github similar
• zhangir-azerbayev/lean-chat github similar
• kbuzzard/Numbers github similar
• kbuzzard/lean4-filters github similar
• dselsam/arc github similar
• JasonKYi/learn_mspaces github similar
• mmasdeu/topologygame github similar
• forked-from-1kasper/ground_zero github similar
• dselsam/binport github similar
• leanprover-community/leancrawler github similar
• leanprover-community/mathzoo github similar
• agentultra/lean-for-hackers github similar
• b-mehta/combinatorics github similar
• leanprover-community/lean-client-python github similar
• jasonrute/thoughts-on-ai-for-theorem-proving github similar
• leanprover-community/sphere-eversion github similar
• mpedramfar/Lean-game-maker github similar
• leanprover-community/mathlib4 github similar
• ImperialCollegeLondon/group-theory-game github similar
• leanprover-community/mathematics_in_lean github similar
• jesse-michael-han/lean-gptf github similar
• dwrensha/lean4-maze github similar
• ImperialCollegeLondon/complex-number-game github similar
• leanprover-community/format_lean github similar
• groupoid/lean github similar
• IMO-grand-challenge/IMO-grand-challenge.github.io github similar
• IPDSnelting/tba-2021 github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• PatrickMassot/lean-verbose github similar
• JLimperg/aesop github similar
• leanprover/theorem_proving_in_lean4 github similar
• digama0/lean-type-theory github similar
• leanprover-community/lftcm2020 github similar
• lecopivo/SciLean github similar
• ImperialCollegeLondon/real-number-game github similar
• openai/lean-gym github similar
• leanprover-community/tutorials github similar
• TwoFX/sudoku github similar
• clarus/falso github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar