Name-Kompsky / tripos
Cambridge Maths Tripos notes
☆36Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for tripos
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- Source code for lecture notes☆65Updated 6 years ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆71Updated last year
- Let's translate works of Grothendieck☆24Updated 5 years ago
- Basic Analysis, undergraduate real analysis textbook☆61Updated 3 weeks ago
- Source code for lecture notes☆137Updated 3 months ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆35Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆112Updated this week
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- Source code for some notes for the mathematical tripos.☆21Updated 5 years ago
- Lecture notes of the course Analysis On Manifolds☆20Updated this week
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆85Updated 2 weeks ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆205Updated last week
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆127Updated 3 months ago
- Part III Maths notes for 2018-19☆20Updated 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 the QED interactive text and possible extensions☆96Updated 5 years ago
- An introduction to theorem proving in Lean for the impatient.☆110Updated last week
- A LaTeX document class for lecture notes (for a seminar, for an entire course with several lectures, or for brief talks) that looks great…☆95Updated 3 years ago
- The user home repository for the Mathematics in Lean tutorial.☆268Updated last week
- Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015☆70Updated 4 years ago
- Solutions to Algebra, by Michael Artin.☆31Updated 7 years ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆87Updated this week
- Lean for the Curious Mathematician 2020☆63Updated last year
- Notes for "Applications of QFT to Geometry", UT Austin, fall 2017☆10Updated 2 months ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆17Updated last month
- Source code for the nLab☆149Updated 2 months ago
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated 10 months ago
- My collection of handouts and lecture notes (finished and unfinished)☆9Updated last year