bgavran / Lens_Resources
Theory and Applications of Lenses and Optics
☆55Updated 2 years ago
Alternatives and similar repositories for Lens_Resources:
Users that are interested in Lens_Resources are comparing it to the libraries listed below
- ☆46Updated 9 months ago
- Effective Algebraic Topology in Haskell☆89Updated 5 months ago
- An experimental category theory library for Lean☆49Updated last year
- ☆114Updated 7 months ago
- HoTT in Lean 3☆78Updated 4 years ago
- A toolkit for enforcing logical specifications on neural networks☆84Updated this week
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆61Updated 4 months ago
- An interactive theorem prover for string diagrams☆109Updated 3 months ago
- A Haskell probabilistic programming library.☆18Updated last week
- Categorical logic from a categorical point of view☆77Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆48Updated 4 months ago
- A list of works and resources about double category theory, with a particular focus on applications.☆25Updated 2 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- ☆44Updated 2 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆26Updated 3 years ago
- Topos theory in lean☆58Updated 4 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- ☆24Updated 2 years ago
- Ground Zero: Lean 4 HoTT Library☆52Updated 2 months ago
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆53Updated 2 years ago
- Very controlled natural language tactics for Lean☆63Updated last year
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆17Updated last year
- A (formalised) general definition of type theories☆57Updated 3 years ago
- A DSL for the internal language of a topos☆62Updated 10 months ago
- The theory of algebraic graphs formalised in Agda☆89Updated 6 years ago
- maze game encoded in Lean 4 syntax☆53Updated 2 months ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- Fast equality saturation in Haskell☆80Updated 9 months ago