leo-colisson / zx-calculus
A package to typeset ZX calculus directly in LaTeX.
☆14Updated 10 months ago
Alternatives and similar repositories for zx-calculus:
Users that are interested in zx-calculus are comparing it to the libraries listed below
- Deposited packages of the homalg project☆12Updated last month
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated last year
- ☆17Updated 6 years ago
- A verified tensor library in Lean☆20Updated last week
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 3 years ago
- egraph <-> json☆13Updated 3 months ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Unofficial repository for the experimental porting of mathlib into lean4☆10Updated 4 years ago
- A proof tree viewer that works with Coq through Proof General☆24Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆30Updated 3 weeks ago
- ☆13Updated 3 years ago
- An English translation of Deligne's three "Hodge theory" papers☆11Updated 3 months ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 4 months ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Updated 4 years ago
- An equational theorem prover based on Knuth-Bendix completion☆49Updated last month
- Combinatorial species in HoTT☆12Updated 9 years ago
- Experiments in Synthetic Differential Geometry☆15Updated 3 years ago
- Experiment with synthetic domain theory in cubical agda☆14Updated 2 years ago
- Category Theory & Cobordism Categories in Lean 4☆15Updated 6 months ago
- Reference type checker for the Lean theorem prover☆14Updated 6 years ago
- Graded Dependent Type systems☆24Updated last year
- VSCode support for Forester☆18Updated 7 months ago
- A Lean 4 formalization of partial combinatory algebras.☆12Updated 2 weeks ago
- Two-Level Type Theory☆28Updated 5 years ago
- A type theory with native support for Polynomial Functors.☆39Updated last year
- A formalization of the theory behind the mugen library☆17Updated 6 months ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago