hooyuser / Solution-to-Algebra-Chapter-0Links
Solution to Algebra, Chapter 0
☆92Updated 2 months ago
Alternatives and similar repositories for Solution-to-Algebra-Chapter-0
Users that are interested in Solution-to-Algebra-Chapter-0 are comparing it to the libraries listed below
Sorting:
- The solution to Algebra : Chapter 0 by Paolo Aluffi.☆30Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated last month
- amateur translation project of Grothendieck's EGA.☆346Updated 8 months ago
- A formalization of the textbook Elements of Set Theory☆59Updated 3 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…☆119Updated last year
- VSCode extension for bTeX.☆20Updated last year
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- notes on topos theory (Chinese)☆12Updated 6 months ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆61Updated this week
- ☆251Updated 3 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆128Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- ☆48Updated last year
- Lecture notes from Cambridge maths☆68Updated last year
- ☆86Updated 2 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆123Updated 11 months ago
- Natural language tactics to teach mathematics using Lean 4☆79Updated last month
- Lean for the Curious Mathematician 2020☆67Updated last year
- The agda-unimath library☆257Updated this week
- Tag-based webview of LaTeX documents☆30Updated last year
- Source code for the nLab☆177Updated 3 months ago
- Software Foundations☆129Updated last year
- ntype cafe summer school resources☆139Updated last year
- HoTTEST Summer School materials☆299Updated 3 weeks ago
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆257Updated this week
- 《The HoTT Book》 中文翻译☆6Updated 5 months ago
- Mathematical Components compliant Analysis Library☆220Updated this week
- A transpiler that converts TeX into Unicode (as possible).☆19Updated last week
- Effective Algebraic Topology in Haskell☆91Updated 9 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆23Updated last year