Similar repositories to ImperialCollegeLondon/formalising-mathematics:

• ImperialCollegeLondon/formalising-mathematics github similar
• danistefanovic/build-your-own-x github similar
• ReactTraining/react-router github similar
• tuvtran/project-based-learning github similar
• pixijs/pixi.js github similar
• meilisearch/MeiliSearch github similar
• tootsuite/mastodon github similar
• hecrj/iced github similar
• ImperialCollegeLondon/M40001_lean github similar
• Eloston/ungoogled-chromium github similar
• ImperialCollegeLondon/formalising-mathematics-2022 github similar
• gibiansky/IHaskell github similar
• leanprover-community/lean github similar
• GamestonkTerminal/GamestonkTerminal github similar
• ImperialCollegeLondon/natural_number_game github similar
• k6io/k6 github similar
• IPDSnelting/tba-2021 github similar
• chriskempson/base16 github similar
• leanprover-community/mathlib4 github similar
• openai/miniF2F github similar
• shaunlebron/parinfer github similar
• kbuzzard/xena github similar
• leanprover-community/mathlib github similar
• cpitclaudel/alectryon github similar
• jesse-michael-han/lean-gptf github similar
• EgbertRijke/HoTT-Intro github similar
• leanprover-community/tutorials github similar
• leanprover-community/lean-liquid github similar
• Eugeny/terminus github similar
• hanxiao/bert-as-service github similar
• ImperialCollegeLondon/group-theory-game github similar
• RH12503/triangula github similar
• fathyb/carbonyl github similar
• google/comprehensive-rust github similar
• leanprover/theorem_proving_in_lean4 github similar
• kimmobrunfeldt/concurrently github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• zhangir-azerbayev/lean-chat github similar
• kmill/lean4-raytracer github similar
• flypitch/flypitch github similar