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:
- Deposited packages of the homalg project☆15Updated 2 months ago
- Experiments in Synthetic Differential Geometry☆16Updated 4 years ago
- A Lean 4 formalization of partial combinatory algebras.☆14Updated 6 months ago
- Unofficial repository for the experimental porting of mathlib into lean4☆10Updated 4 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆18Updated 4 years ago
- Formalized quantum computing in Lean theorem prover☆29Updated 4 years ago
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- HoTT Book formalisations in Rzk.☆19Updated last year
- An English translation of Deligne's three "Hodge theory" papers☆11Updated last month
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- VSCode support for Forester☆21Updated last month
- Coq library for reasoning about quantum programs☆39Updated this week
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆16Updated 2 years ago
- Dafny for Metatheory of Programming Languages☆25Updated last month
- PL syntax macros.☆19Updated 3 weeks ago
- Code samples for Lean 4☆76Updated last year
- Create string diagrams with LaTeX!☆14Updated 6 months ago
- The root repository for the SpectralSequences project.☆30Updated 2 weeks ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆13Updated 5 months ago
- An attempt towards univalent classical mathematics in Cubical Agda.☆30Updated last year
- Datatypes as quotients of polynomial functors☆36Updated 5 years ago
- A Lean formal proof of the Combinatorial Nullstellensatz☆11Updated 2 years ago
- Experiment with synthetic domain theory in cubical agda☆14Updated 2 years ago
- Mathematical stories☆13Updated 4 years ago
- A server for the forester tool☆15Updated 7 months ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Mirror of ocaml-forester☆45Updated last year
- ☆13Updated 3 months ago