prathyvsh / learning-topology
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
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 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
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Cohesive type theory☆19Updated 3 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆26Updated 3 years ago
- Formalization of category theory in Agda☆15Updated 2 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 10 months ago
- Organize mathematical thoughts☆20Updated last year
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆40Updated 2 weeks ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- A type theory with native support for Polynomial Functors.☆39Updated last year
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated 2 weeks ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Basics notions of algebra☆8Updated 4 years ago
- ☆17Updated last year
- Mathematical stories☆13Updated 4 years ago
- ☆44Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- A talk☆28Updated 4 years ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago