Similar repositories to ImperialCollegeLondon/lean-maths-examples:

• ImperialCollegeLondon/lean-maths-examples github similar
• pandas-profiling/pandas-profiling github similar
• mo271/formal_book github similar
• tuvtran/project-based-learning github similar
• danistefanovic/build-your-own-x github similar
• ImperialCollegeLondon/Example-Lean-Projects github similar
• atarnoam/lean-automata github similar
• leanprover/lean4-samples github similar
• Vilin97/linear-algebra-done-right github similar
• zhangir-azerbayev/ProofNet github similar
• xubaiw/Socket.lean github similar
• YaelDillies/LeanCamCombi github similar
• e45lee/lean-matroids github similar
• TOTBWF/lean4-raytrace github similar
• mmasdeu/topologygame github similar
• google-research/runtime-error-prediction github similar
• leanprover-community/doc-gen github similar
• leanprover-community/mathzoo github similar
• yatima-inc/LSpec github similar
• ImperialCollegeLondon/complex-number-game github similar
• tydeu/lean4-alloy github similar
• leanprover/doc-gen4 github similar
• leanprover/lean4-mode github similar
• leanprover-community/lean-client-python github similar
• kendfrey/rubiks-cube-group github similar
• leanprover/functional_programming_in_lean github similar
• ImperialCollegeLondon/M4P33 github similar
• ImperialCollegeLondon/formalising-mathematics-2023 github similar
• larsk21/iris-lean github similar
• leanprover/LeanInk github similar
• leanprover/std4 github similar
• PatrickMassot/lean-verbose github similar
• gebner/quote4 github similar
• mhuisi/lean4-cli github similar
• mpedramfar/Lean-game-maker github similar
• avigad/lamr github similar
• GaloisInc/lean4-balance-car github similar
• ImperialCollegeLondon/group-theory-game github similar
• zhangir-azerbayev/lean-chat github similar
• leanprover/theorem_proving_in_lean4 github similar