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
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- Awesome Agda Programming☆16Updated 4 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Coq library for serialization to S-expressions☆19Updated 2 years ago
- Paradoxes in Set Theory and Type Theory☆11Updated 11 months ago
- A talk☆28Updated 4 years ago
- A proof tree viewer that works with Coq through Proof General☆28Updated 4 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- A string diagram generator for LaTeX.☆29Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 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
- Organize mathematical thoughts☆20Updated last year
- A categorical semantics library in Agda.☆17Updated 5 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated last month
- ☆34Updated 8 months ago
- A Python backed for Idris 2☆26Updated 8 months ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 4 years ago
- Graded Dependent Type systems☆24Updated 2 years ago
- ☆41Updated 2 months ago
- The Agda Universal Algebra Library (html docs available at the url below)☆35Updated 7 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 4 months ago
- A Lean 4 formalization of partial combinatory algebras.☆14Updated 6 months ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆51Updated 3 weeks ago