peterlefanulumsdaine / hott-limitsLinks
A formalization of (homotopy) limits in Homotopy Type Theory
☆11Updated 10 years ago
Alternatives and similar repositories for hott-limits
Users that are interested in hott-limits are comparing it to the libraries listed below
Sorting:
- Cohesive type theory☆19Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- collaboration on work in progress☆15Updated 14 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- A formalization of M-types in Agda☆32Updated 5 years ago
- Combinatorial species in HoTT☆12Updated 10 years ago
- ☆46Updated 2 years ago
- Coq solutions to exercises in HoTT book☆11Updated 11 years ago
- My basic LaTeX macros and BibTeX file.☆13Updated 2 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated 2 years ago
- HoTT in Lean 3☆80Updated 4 years ago
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆54Updated 2 years ago
- Categorical logic from a categorical point of view☆78Updated last year
- Archived materials related to Homotopy Type Theory.☆10Updated 13 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- Algebraic Combinatorics in Coq☆38Updated 4 months ago
- Reference type checker for the Lean theorem prover☆16Updated 7 years ago
- ☆47Updated last year
- ☆17Updated last year
- Synthetic Differential Geometry in Agda☆12Updated 10 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- ☆27Updated last year
- A geometric algebra implementation in Haskell☆31Updated 4 years ago
- Effective Algebraic Topology in Haskell☆91Updated 8 months ago
- Kan: A browser extension for reading nLab☆26Updated 6 years ago