jordanspooner / ic-second-year-notes
Notes for second year Computing at Imperial College London
☆15Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for ic-second-year-notes
- Notes for third year Computing at Imperial College London (incomplete)☆10Updated 5 years ago
- Notes for first year Computing at Imperial College London☆50Updated 2 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆35Updated last year
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆13Updated 3 years ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆61Updated 8 months ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆12Updated 2 years ago
- ☆16Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 8 months ago
- Repository for Math 156 Machine Learning at UCLA in Spring 2021 (Instructor: Hanbaek Lyu)☆13Updated 3 years ago
- Course Material for the iSchool at UMD's INST414, Data Science Techniques☆12Updated 7 months ago
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated last year
- Course Material for my course Linear Algebra 2 (in french)☆11Updated 5 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- Material from M1P1, formalised in Lean☆14Updated 5 years ago
- Notes and course material for MATH50003 Numerical Analysis (2022–2023)☆53Updated 10 months ago
- Manim Tutorials☆16Updated last year
- My typed-up math lecture notes☆11Updated 2 years ago
- Lean mathzoo☆24Updated 2 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Updated 9 months ago
- Undergraduate numerical analysis, first semester, APPM 4650. University of Colorado Boulder☆14Updated 2 years ago
- A Lean file formatter☆63Updated last year
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆127Updated 3 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆40Updated last year
- A collection of some expository notes I have written☆18Updated 3 years ago
- A static analysis tool for Lean 4.☆51Updated this week
- A database app for ring theory☆21Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆270Updated 2 weeks ago
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated 2 years ago