prathyvsh / learning-topology
Resources for making sense of topology and its concepts
☆17Updated 3 years ago
Related projects: ⓘ
- Andrej Bauer's blog "Mathematics and Computation"☆47Updated 7 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 3 years ago
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- ☆44Updated last year
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 5 years ago
- ☆42Updated last year
- Constraint Handling Rules☆14Updated 2 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆83Updated last year
- Text generation language☆31Updated last week
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated 8 months ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆20Updated 3 months ago
- ☆14Updated this week
- The Agda Universal Algebra Library (html docs available at the url below)☆29Updated 3 months ago
- A type theory with native support for Polynomial Functors.☆37Updated 11 months ago
- ☆13Updated this week
- Mathematical stories☆13Updated 3 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆17Updated 3 years ago
- ☆42Updated this week
- An efficient graph library for Haskell☆39Updated last month
- Invertible parsing for S-expressions☆33Updated last week
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Cohesive type theory☆18Updated 2 years ago
- ☆31Updated 2 weeks ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 2 years ago
- A proof that Idris is pacman complete☆8Updated 6 years ago
- ☆17Updated last year
- Experimental proof assistant (and architecture) for dependent linear logic☆47Updated 2 years ago