dtbinh / OpenCourseLinks
☆163Updated 6 years ago
Alternatives and similar repositories for OpenCourse
Users that are interested in OpenCourse are comparing it to the libraries listed below
Sorting:
- LaTeX code for some of my lecture notes☆355Updated 3 years ago
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- Solutions to Linear Algebra Done Right, by Sheldon Axler.☆328Updated 2 months ago
- A Lean companion to Analysis I☆1,062Updated this week
- ☆52Updated last month
- LaTeX sources for notes for the maths courses at Cambridge.☆104Updated last year
- ☆250Updated 11 months ago
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆91Updated 2 years ago
- Solutions to Understanding Analysis by Stephen Abbott (second edition)☆74Updated last week
- All My LaTeX Works till Now are here all togather.☆132Updated this week
- Complex Analysis: A Visual and Interactive Introduction☆186Updated last week
- Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)☆117Updated last year
- The user home repository for the Mathematics in Lean tutorial.☆390Updated 3 weeks ago
- latex code from my first year of engineering.☆370Updated 6 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆91Updated 9 months ago
- Master Thesis☆202Updated 3 years ago
- ☆145Updated 7 years ago
- Math & Physics Books☆149Updated 6 years ago
- The math library of Lean 4☆2,225Updated this week
- Asymptote preprocessor☆17Updated 2 months ago
- Group theory visualization software in the browser☆253Updated last year
- Solution to Algebra, Chapter 0☆93Updated 3 months ago
- ☆80Updated 2 months ago
- Commented templates for CVs, homework, lecture notes, presentations, research papers, and essays, with commands for math/statistics symbo…☆223Updated 6 months ago
- ☆312Updated 7 years ago
- Lecture notes from Cambridge maths☆69Updated last year
- Download all GTMs by the scripts☆66Updated 6 years ago
- Planning for an entire maths LaTeX book☆220Updated 2 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆275Updated 7 months ago
- Main repository of SageMath☆1,896Updated this week