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
- An approach to higher algebra in type theory☆23Updated 5 years ago
- Higher Algebra with Opetopic Types☆15Updated 2 years ago
- Work in progress on semi-simplicial types☆23Updated 2 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Updated 8 years ago
- Coherence typechecker for infinity categories☆19Updated last month
- Organize mathematical thoughts☆20Updated last year
- A simple implementation of XTT, "A cubical language for Bishop sets"☆27Updated 3 years ago
- A Unifying Cartesian Cubical Set Model☆34Updated 5 years ago
- ☆21Updated 7 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆12Updated 6 years ago
- The multimode presheaf proof-assistant☆36Updated 2 years ago
- ☆36Updated 3 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated 9 months ago
- Experiments in Synthetic Differential Geometry☆16Updated 3 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆46Updated last year
- Formal Topology in Univalent Foundations (WIP).☆36Updated 2 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Updated last year
- Synthetic geometry. Probably mostly algebraic geometry.☆24Updated last year
- Agda code for experimenting with internal models of cubical type theory☆14Updated 7 years ago
- Formalising session types in Coq☆17Updated 5 years ago
- ☆16Updated last month
- ☆47Updated 3 weeks ago
- ☆17Updated 3 years ago
- Simply typed lambda calculus in cubical agda☆22Updated 5 years ago
- ☆23Updated 11 months ago
- Experimental type-checker for internally parametric type theory☆32Updated 3 months ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago