SpectralSequences / extLinks
Compute ext using Rust
☆9Updated 4 years ago
Alternatives and similar repositories for ext
Users that are interested in ext are comparing it to the libraries listed below
Sorting:
- Revised Omega-categorical Typechecker☆26Updated 7 months ago
- ☆29Updated 2 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆12Updated 6 years ago
- H.O.T.T. using rewriting in Agda☆42Updated 2 years ago
- The multimode presheaf proof-assistant☆36Updated 2 years ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Updated 2 years ago
- Experiments in Synthetic Differential Geometry☆16Updated 3 years ago
- Higher Algebra with Opetopic Types☆15Updated 2 years ago
- An approach to higher algebra in type theory☆23Updated 5 years ago
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- Organize mathematical thoughts☆20Updated last year
- Basics of the dependently-typed functional language Agda ^_^☆39Updated 3 years ago
- Work in progress on semi-simplicial types☆23Updated 2 years ago
- ☆23Updated 11 months ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year
- Experimental type-checker for internally parametric type theory☆32Updated 2 months ago
- ☆47Updated last week
- Coherence typechecker for infinity categories☆19Updated 2 weeks ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆12Updated 9 months ago
- ☆29Updated 2 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Repository holding code and latex sources for paper "Why Not W?"☆11Updated 4 years ago
- Datatypes as quotients of polynomial functors☆35Updated 5 years ago
- Formal Topology in Univalent Foundations (WIP).☆36Updated 2 years ago
- A Unifying Cartesian Cubical Set Model☆35Updated 5 years ago
- ☆36Updated 3 years ago
- Proof search for intuitionistic propositional logic using Dyckhoff's LJT.☆26Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 8 months ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Updated 8 years ago