prathyvsh / learning-topologyLinks
Resources for making sense of topology and its concepts
☆18Updated 4 years ago
Alternatives and similar repositories for learning-topology
Users that are interested in learning-topology are comparing it to the libraries listed below
Sorting:
- Andrej Bauer's blog "Mathematics and Computation"☆52Updated last year
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 4 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- ☆44Updated 2 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Updated 3 years ago
- Cohesive type theory☆19Updated 3 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 4 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆50Updated 8 months ago
- An experimental category theory library for Lean☆51Updated last year
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Some tools for provability logic☆37Updated 7 years ago
- A type theory with native support for Polynomial Functors.☆39Updated last year
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆59Updated 8 months ago
- Formalization of category theory in Agda☆16Updated 2 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated 2 weeks ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- ☆17Updated last year
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Updated 11 months ago
- A Unifying Cartesian Cubical Set Model☆35Updated 5 years ago
- Organize mathematical thoughts☆20Updated last year
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 4 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago