prathyvsh / learning-topology
Resources for making sense of topology and its concepts
☆17Updated 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
- Formalization of category theory in Agda☆15Updated 2 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- ☆44Updated 2 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 4 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆39Updated this week
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 9 months ago
- A small profunctor library for idris☆17Updated 2 years ago
- A Python backed for Idris 2☆21Updated 4 months ago
- Cohesive type theory☆19Updated 3 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 3 years ago
- Category Theory & Cobordism Categories in Lean 4☆15Updated 8 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- ☆30Updated 6 years ago
- A clean implementation of Parsing with Zippers.☆37Updated 6 years ago
- A type theory with native support for Polynomial Functors.☆39Updated last year
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Text generation language☆33Updated 3 weeks ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Optics via the profunctor representation theorem☆24Updated 3 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆35Updated 7 years ago
- Synthetic Differential Geometry in Agda☆12Updated 10 years ago