Similar repositories to kbuzzard/real-numbers-course:

• kbuzzard/real-numbers-course github similar
• LR-POR/BrGram github similar
• kbuzzard/lean-game-skeleton github similar
• anfelor/coc-lean github similar
• paulaneeley/modal github similar
• forked-from-1kasper/ground_zero github similar
• agentultra/lean-4-hackers github similar
• alashworth/sf-lean github similar
• GrammaticalFramework/gf-wordnet github similar
• JLimperg/aesop github similar
• lecopivo/SciLean github similar
• gebner/trepplein github similar
• avigad/mathematics_in_lean_source github similar
• leanprover-community/mathematics_in_lean github similar
• bzhan/holpy github similar
• mhuisi/lean4-cli github similar
• dwrensha/lean4-maze github similar
• mpedramfar/Lean-game-maker github similar
• GaloisInc/lean4-balance-car github similar
• leanprover-community/lftcm2020 github similar
• IBM/FormalML github similar
• GrammaticalFramework/gf-rgl github similar
• ImperialCollegeLondon/real-number-game github similar
• gromnitsky/wordnut github similar
• leanprover/lake github similar
• leanprover-community/format_lean github similar
• leanprover/theorem_proving_in_lean4 github similar
• IPDSnelting/tba-2021 github similar
• leanprover/logic_and_proof github similar
• ImperialCollegeLondon/group-theory-game github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• masatoi/cl-random-forest github similar
• Deducteam/Logipedia github similar
• choukh/Set-Theory github similar
• jesse-michael-han/lean-gptf github similar
• delph-in/pydelphin github similar
• leanprover-community/tutorials github similar
• digama0/lean-type-theory github similar
• leanprover-community/mathlib4 github similar
• TwoFX/sudoku github similar