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"☆51Updated last year
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago
- An experimental category theory library for Lean☆51Updated last year
- Formalization of category theory in Agda☆16Updated 2 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- ☆44Updated 2 years ago
- ☆44Updated last year
- Some tools for provability logic☆37Updated 7 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- ☆40Updated last month
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 4 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Text generation language☆34Updated last week
- Cohesive type theory☆19Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Category Theory & Cobordism Categories in Lean 4☆16Updated 11 months ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆58Updated last year
- ☆17Updated last year
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics☆28Updated 3 years ago
- A Python backed for Idris 2☆25Updated 7 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 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
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆55Updated 10 years ago