Similar repositories to ImperialCollegeLondon/formalising-mathematics-2023:

• ImperialCollegeLondon/formalising-mathematics-2023 github similar
• mo271/formal_book github similar
• danistefanovic/build-your-own-x github similar
• arthurpaulino/lean2md github similar
• eric-wieser/lean-matrix-cookbook github similar
• ATOMSLab/LeanChemicalTheories github similar
• YaelDillies/LeanCamCombi github similar
• mariainesdff/local_fields github similar
• tuvtran/project-based-learning github similar
• forked-from-1kasper/ground_zero github similar
• ImperialCollegeLondon/complex-number-game github similar
• atarnoam/lean-automata github similar
• Shenyang1995/M4R github similar
• siddhartha-gadgil/LeanAide github similar
• agentultra/lean-4-hackers github similar
• PatrickMassot/NNG4 github similar
• TwoFX/lean-homological-algebra github similar
• leanprover/doc-gen4 github similar
• zhangir-azerbayev/ProofNet github similar
• ImperialCollegeLondon/tcc-lean-alg-geom-2022 github similar
• adamtopaz/lean-acl-pairs github similar
• google/formal-ml github similar
• avigad/lamr github similar
• hargoniX/cpdt-lean github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• leanprover-community/format_lean github similar
• siddhartha-gadgil/lean-loris github similar
• IPDSnelting/tba-2022 github similar
• e45lee/lean-matroids github similar
• ammkrn/nanoda_lib github similar
• opencompl/lean-gap github similar
• chanind/mathlib-changelog github similar
• LAC1213/compact_unit_ball github similar
• leanprover-community/con-nf github similar
• ImperialCollegeLondon/m1fexplained github similar
• bollu/lean-to github similar
• leanprover-community/flt-regular github similar
• JamesGallicchio/LeanColls github similar
• mmasdeu/topologygame github similar
• zhangir-azerbayev/mathlib-semantic-search github similar