Similar repositories to luisscastillo/lean-game:

• zhangir-azerbayev/lean-chat github similar
• martinescardo/HoTTEST-Summer-School github similar
• marcusrossel/lean-snakebird github similar
• Jlh18/ModelTheory8Report github similar
• m4lvin/tablean github similar
• luisscastillo/lean-game github similar
• tirix/mm-web-ui github similar
• tirix/q0.mm github similar
• digama0/dtt.mm github similar
• opencompl/lean-gap github similar
• arthurpaulino/lean2md github similar
• forked-from-1kasper/ground_zero github similar
• mmasdeu/topologygame github similar
• mirefek/sokoban.lean github similar
• leanprover-community/con-nf github similar
• ATOMSLab/LeanChemicalTheories github similar
• agusakov/category-theory-game github similar
• leanprover-community/mathzoo github similar
• google/formal-ml github similar
• ImperialCollegeLondon/Example-Lean-Projects github similar
• sorear/smetamath-rs github similar
• gebner/trepplein github similar
• avigad/mathematics_in_lean_source github similar
• leanprover/lean-client-js github similar
• bzhan/holpy github similar
• dwrensha/lean4-maze github similar
• leanprover-community/mathlib-tools github similar
• leanprover/LeanInk github similar
• leanprover-community/format_lean github similar
• ImperialCollegeLondon/complex-number-game github similar
• IMO-grand-challenge/IMO-grand-challenge.github.io github similar
• choukh/Baby-Set-Theory github similar
• ImperialCollegeLondon/group-theory-game github similar
• PatrickMassot/lean-verbose github similar
• IBM/FormalML github similar
• JLimperg/aesop github similar
• ramonfmir/lean-scheme github similar
• raphlinus/ghilbert github similar
• mpedramfar/Lean-game-maker github similar
• leanprover-community/lftcm2020 github similar