leo-colisson / zx-calculusLinks
A package to typeset ZX calculus directly in LaTeX.
☆17Updated last year
Alternatives and similar repositories for zx-calculus
Users that are interested in zx-calculus are comparing it to the libraries listed below
Sorting:
- Quantomatic is a tool for doing automated graph rewriting.☆165Updated 5 years ago
- Coq library for reasoning about quantum programs☆39Updated 2 months ago
- CAP project -- Categories, Algorithms, and Programming☆35Updated this week
- Formalized quantum computing in Lean theorem prover☆31Updated 4 years ago
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- Deposited packages of the homalg project☆16Updated 2 weeks ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 6 years ago
- Code repository for our work on Quantum Pi☆10Updated last year
- A database of small finite categories☆14Updated last year
- Code samples for Lean 4☆77Updated last year
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- A Small Quantum Intermediate Representation☆88Updated last month
- ☆14Updated 2 weeks ago
- ☆13Updated 4 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Updated last month
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- The root repository for the SpectralSequences project.☆31Updated last week
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Verifying the ZX Calculus☆20Updated last week
- A quantum circuit language and formal verification tool☆104Updated 4 months ago
- A fornalisation of Grobner basis in ssreflect☆12Updated 2 months ago
- An interactive theorem prover for string diagrams☆120Updated 10 months ago
- An experimental category theory library for Lean☆51Updated 2 years ago
- Formalization of the basic actuarial mathematics using Coq☆22Updated 9 months ago
- Mirror of ocaml-forester☆45Updated last year
- PL syntax macros.☆19Updated 2 weeks ago
- Git repository for the course Logika v računalništvu☆14Updated 3 years ago