jordanspooner / ic-second-year-notesLinks
Notes for second year Computing at Imperial College London
☆16Updated 6 years ago
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
Sorting:
- Notes for first year Computing at Imperial College London☆51Updated 3 years ago
- Notes for third year Computing at Imperial College London (incomplete)☆11Updated 6 years ago
- A selection of textbook-like course notes for the Imperial College Computing modules.☆80Updated last year
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated 2 years ago
- Notes for the Lectures of Year 2 Computing 2021-22☆41Updated 2 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆16Updated 2 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆38Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- Course Material for the iSchool at UMD's INST414, Data Science Techniques☆16Updated last year
- Lean mathzoo☆24Updated 3 years ago
- The user home repository for the Mathematics in Lean tutorial.☆373Updated 3 weeks ago
- Lean 4 tutorial files☆39Updated 3 weeks ago
- A Lean file formatter☆68Updated 2 years ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆16Updated 3 years ago
- Lecture notes from Cambridge maths☆68Updated last year
- ImProver: Agent-Based Automated Proof Optimization☆33Updated last week
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Updated last year
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆21Updated this week
- Formalising lecture notes from 1st year Imperial Mathematics course.☆12Updated 5 years ago
- ☆254Updated 3 months ago
- ☆9Updated 5 years ago
- ☆17Updated 3 years ago
- 💧 Liquid Tensor Experiment☆201Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆23Updated last month
- Material from M1P1, formalised in Lean☆15Updated 5 years ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆17Updated this week
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated last year
- Catalog Of Math Problems Formalized In Lean☆166Updated this week
- Formalization of IMO shortlist problems in Lean 4☆14Updated 5 months ago