prathyvsh / learning-topologyLinks
Resources for making sense of topology and its concepts
☆18Updated 5 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"☆54Updated last year
- ☆44Updated 3 years ago
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- 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 3 years ago
- A talk☆28Updated 4 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- Some tools for provability logic☆37Updated 7 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- This project is to contain a listing of common theorems in elementary category theory.☆74Updated 5 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated 2 weeks ago
- An experimental category theory library for Lean☆51Updated 2 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 7 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Updated 2 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Updated 4 years ago
- Course on Metaprogramming☆72Updated 5 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Updated 5 years ago
- ☆45Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- A type theory with native support for Polynomial Functors.☆41Updated 2 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 3 years ago
- Formalization of category theory in Agda☆17Updated 2 years ago
- "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin☆52Updated 6 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- A verified compiler for a lazy functional language☆37Updated 2 weeks ago
- ☆93Updated 8 months ago
- ☆36Updated 2 months ago