InfoSec curious software developer with an academic background in formal methods.
Slowly becoming a gymrat.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePython library for quantum circuit rewriting and optimisation using the ZX-calculus
Examples of categorical structures