awasthi / math-solutionsLinks
Solutions to various math textbooks
☆18Updated 10 years ago
Alternatives and similar repositories for math-solutions
Users that are interested in math-solutions are comparing it to the libraries listed below
Sorting:
- Lecture notes from Cambridge maths☆69Updated last year
- Cambridge Maths Tripos notes☆36Updated 4 years ago
- Solutions to Algebra, by Michael Artin.☆34Updated 8 years ago
- Olympiad problem database☆49Updated last week
- amateur translation project of Grothendieck's EGA.☆347Updated 7 months ago
- 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
- Solution to Algebra, Chapter 0☆90Updated last month
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆90Updated 6 months ago
- 💧 Liquid Tensor Experiment☆196Updated last year
- An introduction to theorem proving in Lean for the impatient.☆198Updated 2 weeks ago
- Source files for https://web.evanchen.cc☆45Updated this week
- A project to digitalise results from physics into Lean.☆252Updated this week
- Providing some useful shortcuts for markdown with latex.☆12Updated 3 years ago
- LaTeX sources for notes for the maths courses at Cambridge.☆103Updated 11 months ago
- The user home repository for the Mathematics in Lean tutorial.☆359Updated this week
- Dot files for Evan Chen (Arch Linux on i3)☆118Updated this week
- TikZJax is TikZ running under WebAssembly in the browser☆24Updated 4 months ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆37Updated last year
- Repository for the QED interactive text and possible extensions☆100Updated 4 months ago
- Asymptote preprocessor☆14Updated this week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year
- Master Thesis☆198Updated 3 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated last week
- Server to host lean games.☆269Updated last week
- My typed-up math lecture notes☆16Updated 2 years ago
- HyperSnips: a powerful snippet engine for VS Code, inspired by vim's UltiSnips☆47Updated last year
- Notes from Andrew Blumberg's class on equivariant homotopy theory☆16Updated 2 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆122Updated 10 months ago
- Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015☆72Updated 4 years ago