adebray / equivariant_homotopy_theoryLinks
Notes from Andrew Blumberg's class on equivariant homotopy theory
☆17Updated 3 months ago
Alternatives and similar repositories for equivariant_homotopy_theory
Users that are interested in equivariant_homotopy_theory are comparing it to the libraries listed below
Sorting:
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Updated last year
- CoDi: Commutative Diagrams for TeX☆31Updated 4 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…☆122Updated last year
- Helper toolkit for creating your own Lean 4 UserWidgets☆168Updated this week
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 6 months ago
- Source code for the nLab☆193Updated 9 months ago
- Lecture notes from Cambridge maths☆71Updated last year
- 💧 Liquid Tensor Experiment☆214Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- A Lean file formatter☆69Updated 2 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆128Updated last year
- Fermat's Last Theorem for regular primes☆61Updated last week
- Tag-based webview of LaTeX documents☆31Updated last year
- amateur translation project of Grothendieck's EGA.☆371Updated 2 months ago
- The matrix cookbook, proved in the Lean theorem prover☆123Updated 3 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆241Updated last month
- ☆30Updated 2 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- A formal proof of the independence of the continuum hypothesis☆136Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆321Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆198Updated 2 weeks ago
- A simple raytracer written in Lean 4☆143Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- ☆165Updated 6 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆43Updated last year
- Theorem Proving in Lean 4☆223Updated 3 weeks ago
- Mathlib search tool☆112Updated 3 weeks ago
- Set Theory Game☆22Updated last month
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 3 months ago
- The Lean 4 web editor☆122Updated this week