jordanspooner / ic-second-year-notes
Notes for second year Computing at Imperial College London
☆15Updated 5 years ago
Related projects: ⓘ
- Notes for first year Computing at Imperial College London☆49Updated 2 years ago
- Notes for third year Computing at Imperial College London (incomplete)☆10Updated 5 years ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆11Updated 2 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆55Updated 5 months ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆35Updated 11 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆39Updated last year
- My past paper solutions for the Haskell final test at Imperial College London☆8Updated 6 years ago
- Course Material for the iSchool at UMD's INST414, Data Science Techniques☆12Updated 5 months ago
- ☆15Updated 2 years ago
- Tutorial Questions for the Programming II course at Imperial College London☆51Updated last year
- ☆20Updated last year
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆10Updated 2 years ago
- ☆9Updated 4 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…☆118Updated 6 months ago
- Lean Library currently studying for a degree at Imperial College☆228Updated last year
- My typed-up math lecture notes☆11Updated 2 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Updated 7 months ago
- ☆13Updated this week
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆45Updated 3 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆106Updated last month
- Course Material for my course Linear Algebra 2 (in french)☆11Updated 3 months ago
- Solution to Algebra, Chapter 0☆86Updated 6 months ago
- The user home repository for the Mathematics in Lean tutorial.☆240Updated last week
- HoTTEST Summer School materials☆283Updated 11 months ago
- This project converts structured Lean code into an interactive browser game.☆73Updated 10 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- Cambridge Maths Tripos notes☆34Updated 3 years ago
- Lecture notes from Cambridge maths☆61Updated 7 months ago
- ☆19Updated this week
- A Lean file formatter☆60Updated last year