Similar repositories to JasonKYi/M4000x_LEAN_formalisation:

• JasonKYi/M4000x_LEAN_formalisation github similar
• anca797/group-cohomology github similar
• Shenyang1995/M4R github similar
• ImperialCollegeLondon/M1P1-lean github similar
• kckennylau/local-langlands-abelian github similar
• SnobbyDragon/leanhanoi github similar
• gihanmarasingha/miu_language github similar
• ATOMSLab/LeanChemicalTheories github similar
• leanprover-community/leancrawler github similar
• bollu/lean-to github similar
• leanprover-community/mathematics_in_lean github similar
• tydeu/lean4-alloy github similar
• b-mehta/combinatorics github similar
• leanprover-community/format_lean github similar
• leanprover-community/mathlib-tools github similar
• avigad/mathematics_in_lean_source github similar
• mpedramfar/Lean-game-maker github similar
• leanprover/theorem_proving_in_lean4 github similar
• ImperialCollegeLondon/real-number-game github similar
• semorrison/lean-category-theory github similar
• leanprover/vscode-lean4 github similar
• lecopivo/SciLean github similar
• leanprover/lake github similar
• ImperialCollegeLondon/group-theory-game github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• thehottgame/TheHoTTGame github similar
• leanprover-community/tutorials github similar
• flypitch/flypitch github similar
• blanchette/logical_verification_2020 github similar
• leanprover-community/lean-perfectoid-spaces github similar
• arthurpaulino/lean4-metaprogramming-book github similar
• mdbootstrap/perfect-scrollbar github similar
• ImperialCollegeLondon/M40001_lean github similar
• leanprover/elan github similar
• formalabstracts/formalabstracts github similar
• siddhartha-gadgil/ProvingGround github similar
• kbuzzard/xena github similar
• leanprover-community/lean github similar
• PythonTurtle/PythonTurtle github similar
• tobami/codespeed github similar