Alternatives and similar repositories for ic-second-year-notes

Users that are interested in ic-second-year-notes are comparing it to the libraries listed below

• jordanspooner / ic-third-year-notes
  Notes for third year Computing at Imperial College London (incomplete)
  ☆11Updated 6 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆50Updated 3 years ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆78Updated last year
• Nicholas42 / AlgebraFranke
  Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017
  ☆16Updated 3 years ago
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆36Updated last year
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated 2 years ago
• lin-e / imperial-revision
  ☆17Updated 3 years ago
• EisenIn / Algebre-Lineaire-2
  Course Material for my course Linear Algebra 2 (in french)
  ☆11Updated this week
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆120Updated last year
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆15Updated 2 years ago
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• Imperial-College-Data-Science-Society / workshops
  ☆19Updated 2 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• cbuntain / umd.inst414
  Course Material for the iSchool at UMD's INST414, Data Science Techniques
  ☆16Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• mariainesdff / ai_math_tcs
  An introduction to theorem proving in Lean for the impatient.
  ☆17Updated last month
• jessicalally / hello-world
  ☆9Updated 5 years ago
• ShereenElaidi / mathnotes
  Math notes from my whole degree :-) (And one CS class, and some fun physics)
  ☆24Updated last year
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• BrownCS1951x / fpv2023
  Lecture notes, exercises, homeworks for Brown CS1951x 2023
  ☆13Updated last year
• kex-y / M4000x_LEAN_formalisation
  Formalising lecture notes from 1st year Imperial Mathematics course.
  ☆12Updated 4 years ago
• abrandenberger / course-notes
  Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…
  ☆37Updated 4 years ago
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆335Updated last week
• OpenLogicProject / photos
  Digital images used as illustrations in the Open Logic Project
  ☆6Updated 8 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• goDoCer / imperial-computing-materials-downloader
  Automated downloader for Imperial College London Department of Computing Materials platform
  ☆8Updated 4 years ago
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆49Updated 3 years ago
• ImperialCollegeLondon / M1P1-lean
  Material from M1P1, formalised in Lean
  ☆15Updated 5 years ago