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
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- A categorical semantics library in Agda.☆16Updated 6 years ago
- Course on Metaprogramming☆75Updated 7 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 6 years ago
- Template to effortlessly build math-rich websites☆40Updated 4 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Updated 2 weeks ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 4 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆27Updated 2 years ago
- A talk☆29Updated 4 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Some tools for provability logic☆37Updated 7 years ago
- ☆45Updated 2 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆60Updated 11 months ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- Set monad☆19Updated 2 years ago
- A type theory with native support for Polynomial Functors.☆41Updated 2 years ago
- An experimental category theory library for Lean☆51Updated 2 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 3 years ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- Toy implementation of Martin-Löf Type Theory☆30Updated 3 years ago
- ☆94Updated 9 months ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 11 months ago
- ☆44Updated 3 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 6 years ago
- Basics of the dependently-typed functional language Agda ^_^☆41Updated 4 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- Martin-Löf Extensible Specification and Simulator☆29Updated 10 years ago
- A very little language☆16Updated 2 years ago