PratikAghor / lec_notes
lecture notes that I wished were available somewhere
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lec_notes
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆85Updated 2 weeks ago
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆105Updated 9 months ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆61Updated 9 months ago
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- The user home repository for the Mathematics in Lean tutorial.☆270Updated last week
- Lecture notes from Cambridge maths☆63Updated 9 months ago
- Collection of my assignments and work in the class MATH51 at Stanford☆86Updated 9 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
- Solutions to Linear Algebra Done Right, by Sheldon Axler.☆258Updated 3 months ago
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆60Updated last year
- ☆205Updated 3 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆205Updated 2 weeks ago
- ☆59Updated last year
- Group theory visualization software in the browser☆228Updated 8 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆292Updated 8 months ago
- ☆17Updated 5 months ago
- Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js)☆353Updated 3 years ago
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Medium length summaries of math subjects like multivariable calculus. Longer than a formula sheet, shorter than a textbook.☆75Updated 2 years ago
- This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository☆45Updated 5 months ago
- Completed MIT OCW 8.01SC☆23Updated 2 years ago
- Rewriting the digitilized version of the book "Naive Set Theory" by Paul Halmos in LaTeX☆40Updated 4 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆21Updated 8 months ago
- Source code for the nLab☆149Updated 2 months ago
- Solutions to the exercises and problems in the book: Learn From Data_A Short Course by Yaser Abu-Mostafa, Malik Magdon-Ismail and Hsuan-T…☆213Updated 2 years ago
- A guide on STEM PhD admissions☆431Updated 3 weeks ago
- Lecture notes transcribed from course (Youtube videos) given by by Dr. Tobias Osborne.☆112Updated 3 years ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆128Updated 3 months ago
- Server to host lean games.☆196Updated 2 weeks ago