Skip to content

A basic configuration for QuantoDerive for working with the ZX-calculus

License

Notifications You must be signed in to change notification settings

zxcalc/zx-project

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

zx-project

This is a Quantomatic project which contains all of the ZX-calculus axioms and some useful theorems and simplification procedures. It also includes sample graphs and derivations.

About

A basic configuration for QuantoDerive for working with the ZX-calculus

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages