jordanspooner / ic-second-year-notes
Notes for second year Computing at Imperial College London
☆16Updated 5 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
- Notes for first year Computing at Imperial College London☆51Updated 3 years ago
- Notes for third year Computing at Imperial College London (incomplete)☆11Updated 5 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- A selection of textbook-like course notes for the Imperial College Computing modules.☆73Updated 10 months ago
- Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017☆14Updated 3 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 11 months ago
- ☆17Updated 3 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆13Updated last year
- Tutorial Questions for the Programming II course at Imperial College London☆50Updated last year
- Notes for the Lectures of Year 2 Computing 2021-22☆40Updated last year
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆12Updated 2 years ago
- The matrix cookbook, proved in the Lean theorem prover☆100Updated 2 months ago
- Clustering notions for the knowledge LaTeX package☆14Updated 3 months ago
- Lecture notes for the Type Systems course given in Autumn 2023☆11Updated 10 months ago
- Material from M1P1, formalised in Lean☆15Updated 5 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆47Updated 3 years ago
- A Lean file formatter☆65Updated 2 years ago
- A formal proof of the independence of the continuum hypothesis☆121Updated 5 months ago
- Lean 4 tutorial files☆34Updated 9 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Formalization of the existence of sphere eversions☆38Updated this week
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Very controlled natural language tactics for Lean☆63Updated last year
- ☆15Updated last year
- Lecture notes from Cambridge maths☆65Updated last year
- Course Material for my course Linear Algebra 2 (in french)☆11Updated last week
- Let's translate works of Grothendieck☆24Updated 5 years ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A database app for ring theory☆21Updated last week