mzjp2 / step-resourcesLinks
This is a collation of freely and publicly available resources for STEP Prep collated into a useful central repository
☆47Updated 11 months ago
Alternatives and similar repositories for step-resources
Users that are interested in step-resources are comparing it to the libraries listed below
Sorting:
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Olympiad problem database☆49Updated this week
- Lecture notes from Cambridge maths☆69Updated last year
- Source files for https://web.evanchen.cc☆45Updated this week
- A compilation of lecture notes☆15Updated 6 years ago
- Dot files for Evan Chen (Arch Linux on i3)☆118Updated this week
- My collection of handouts and lecture notes (finished and unfinished)☆30Updated last year
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆89Updated 6 months ago
- My typed-up math lecture notes☆16Updated 2 years ago
- Art of Problem Solving Wiki reader, focused on showing and filtering problems by subject, test, difficulty, etc.☆45Updated this week
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆113Updated last year
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆67Updated last year
- OTIS course management system☆40Updated last week
- amateur translation project of Grothendieck's EGA.☆347Updated 7 months ago
- All My LaTeX Works till Now are here all togather.☆128Updated 2 weeks ago
- some lecture notes from the University of Waterloo.☆91Updated 9 years ago
- Notes for first year Computing at Imperial College London☆50Updated 3 years ago
- The user home repository for the Mathematics in Lean tutorial.☆359Updated this week
- A selection of textbook-like course notes for the Imperial College Computing modules.☆77Updated last year
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆89Updated 2 years ago
- Math notes from my whole degree :-) (And one CS class, and some fun physics)☆24Updated last year
- Automated generation of planar geometry olympiad problems☆91Updated last year
- LaTeX code for some of my lecture notes☆344Updated 3 years ago
- Master Thesis☆198Updated 3 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- ✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS☆439Updated 7 months ago
- A class for homework assignments written in LaTeX.☆152Updated 4 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆461Updated this week
- Asymptote preprocessor☆14Updated this week