Similar repositories to kbuzzard/Numbers:

• josephcmac/Folklore-and-miscellaneous-results-in-number-theory github similar
• kbuzzard/Numbers github similar
• kbuzzard/lean4-filters github similar
• kbuzzard/mathlib4_experiments github similar
• homalg-project/homalg_project github similar
• LAC1213/compact_unit_ball github similar
• forked-from-1kasper/ground_zero github similar
• agentultra/lean-for-hackers github similar
• avigad/mathematics_in_lean_source github similar
• leanprover-community/mathematics_in_lean github similar
• dwrensha/lean4-maze github similar
• leanprover-community/mathlib-tools github similar
• groupoid/lean github similar
• ImperialCollegeLondon/group-theory-game github similar
• JLimperg/aesop github similar
• ImperialCollegeLondon/real-number-game github similar
• leanprover/lean-mode github similar
• leanprover-community/lftcm2020 github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• jesse-michael-han/lean-gptf github similar
• openai/lean-gym github similar
• digama0/lean-type-theory github similar
• leanprover-community/mathlib4 github similar
• SRI-CSL/PVS github similar
• leanprover-community/tutorials github similar
• leanprover/lean2 github similar
• kbuzzard/xena github similar
• formalabstracts/formalabstracts github similar
• kpeeters/cadabra2 github similar
• LogicalAtomist/principia github similar
• the-lambda-church/coquille github similar
• RedPRL/redtt github similar
• RedPRL/cooltt github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• agda/cubical github similar
• leanprover-community/lean github similar
• HoTT/HoTT-Agda github similar
• ImperialCollegeLondon/formalising-mathematics github similar
• deepmind/meltingpot github similar
• ShaharGottlieb/MasseyRamanujan github similar