Nicholas42 / AlgebraFrankeLinks
Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017
☆17Updated 3 years ago
Alternatives and similar repositories for AlgebraFranke
Users that are interested in AlgebraFranke are comparing it to the libraries listed below
Sorting:
- amateur translation project of Grothendieck's EGA.☆363Updated last week
- notes on topos theory (Chinese)☆13Updated 10 months ago
- 代数基本观念☆15Updated 7 months ago
- Repository for the Stacks Project☆959Updated 3 weeks ago
- The user home repository for the Mathematics in Lean tutorial.☆421Updated 2 months ago
- Natural Number Game☆233Updated 3 weeks ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆24Updated last month
- Server to host lean games.☆330Updated this week
- Solution to Algebra, Chapter 0☆96Updated 6 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆307Updated 10 months ago
- Lecture notes from Cambridge maths☆71Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆121Updated last year
- Source code for the nLab☆188Updated 7 months ago
- Lean 4 tutorial files☆44Updated 4 months ago
- This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.☆430Updated last week
- ☆27Updated 4 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆335Updated this week
- ☆15Updated last year
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆300Updated last year
- Helper toolkit for creating your own Lean 4 UserWidgets☆156Updated last week
- Scientific computing in Lean 4☆432Updated 4 months ago
- a blog platform for mathematicians☆18Updated 2 weeks ago