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
- 💧 Liquid Tensor Experiment☆211Updated last year
- Lecture notes from Cambridge maths☆71Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 5 months ago
- CoDi: Commutative Diagrams for TeX☆31Updated 4 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- A Lean file formatter☆69Updated 2 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…☆122Updated last year
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆34Updated 3 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆163Updated last week
- Tag-based webview of LaTeX documents☆31Updated last year
- ☆165Updated 6 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆314Updated 11 months ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆43Updated last year
- Source code for the nLab☆189Updated 8 months ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Source code for the Mathematics in Lean tutorial.☆175Updated 3 months ago
- plasTeX plugin to build formalization blueprints.☆259Updated 2 months ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- Some Lean tutorials☆183Updated 2 years ago
- Formalization of the existence of sphere eversions☆45Updated last week
- Visual Studio Code extension for the Lean 4 proof assistant☆238Updated last week
- Mirror of ocaml-forester☆45Updated last year
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 7 months ago
- ☆28Updated 2 years ago
- Theorem Proving in Lean 4☆219Updated last month
- Latex package to print spectral sequence diagrams using pgf/tikz.☆11Updated 2 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆84Updated 2 years ago