dtbinh / OpenCourseLinks
☆170Updated 6 years ago
Alternatives and similar repositories for OpenCourse
Users that are interested in OpenCourse are comparing it to the libraries listed below
Sorting:
- The user home repository for the Mathematics in Lean tutorial.☆423Updated 2 months ago
- LaTeX code for some of my lecture notes☆365Updated 3 years ago
- Propositions of solutions to the exercises from Terence Tao's textbooks, Analysis I & II. Mirrored from https://gitlab.com/f-santos/taoan…☆97Updated 2 years ago
- LaTeX sources for notes for the maths courses at Cambridge.☆107Updated last year
- A Lean companion to Analysis I☆1,264Updated this week
- The math library of Lean 4☆2,471Updated this week
- latex code from my first year of engineering.☆390Updated 9 months ago
- Solutions to Linear Algebra Done Right, by Sheldon Axler.☆366Updated 5 months ago
- Collaboration / Topic requests for SoME☆210Updated 2 years ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆723Updated last week
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆95Updated 11 months ago
- A project to digitalise results from physics into Lean.☆375Updated this week
- Scientific computing in Lean 4☆433Updated 4 months ago
- Server to host lean games.☆330Updated last week
- An introduction to theorem proving in Lean for the impatient.☆280Updated last month
- Lecture notes from Cambridge maths☆71Updated last year
- amateur translation project of Grothendieck's EGA.☆364Updated 2 weeks ago
- ☆326Updated 8 years ago
- ☆255Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆308Updated 10 months ago
- Solution to Algebra, Chapter 0☆96Updated last week
- ☆81Updated 4 months ago
- Group theory visualization software in the browser☆258Updated last year
- The Lean version manager☆436Updated 3 weeks ago
- Planning for an entire maths LaTeX book☆226Updated 2 years ago
- A project to map out the relations between different equational theories of Magmas.☆436Updated last week
- My Cambridge Lecture Notes☆1,436Updated last year
- Download all GTMs by the scripts☆74Updated 6 years ago
- All My LaTeX Works till Now are here all togather.☆139Updated 2 months ago
- ☆344Updated last month