AMouri / artin-algebra
Solutions to Algebra, by Michael Artin.
☆31Updated 7 years ago
Related projects: ⓘ
- Solutions of exercises in Algebraic Geometry☆34Updated 9 years ago
- Lecture notes from Cambridge maths☆61Updated 7 months ago
- Repository for the QED interactive text and possible extensions☆95Updated 4 years ago
- Solution to Algebra, Chapter 0☆86Updated 6 months ago
- Olympiad problem database☆43Updated 2 months ago
- Cambridge Maths Tripos notes☆34Updated 3 years ago
- ☆44Updated 7 months ago
- Let's translate works of Grothendieck☆24Updated 5 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…☆118Updated 6 months ago
- Solutions to Linear Algebra Done Right, Third Edition☆200Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆27Updated 11 years ago
- VSCode extension for bTeX.☆20Updated 9 months ago
- Theory of Computing Report☆12Updated 4 months ago
- The Lean version manager☆297Updated last month
- An introduction to theorem proving in Lean for the impatient.☆93Updated this week
- A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…☆81Updated 8 months ago
- amateur translation project of Grothendieck's EGA.☆322Updated 4 months ago
- Source code for the nLab☆137Updated 2 weeks ago
- Perfectoid spaces in the Lean formal theorem prover.☆115Updated 2 months ago
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆106Updated last month
- 💧 Liquid Tensor Experiment☆170Updated 7 months ago
- A formalization of the textbook Elements of Set Theory☆59Updated 2 years ago
- My personal LaTeX template, with sensible formatting and commands☆16Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆180Updated last week
- Dot files for Evan Chen (Arch Linux on i3)☆111Updated this week
- An Infinite Descent into Pure Mathematics☆41Updated 3 years ago
- ☆146Updated 5 months ago
- Basic Analysis, undergraduate real analysis textbook☆57Updated 2 weeks ago
- LaTeX package that embeds and executes Wolfram Language (Mathematica) codes inside LaTeX documents☆119Updated 3 years ago
- Lean for the Curious Mathematician 2020☆63Updated 10 months ago