VyZX : A vision for verifying the ZX calculus
Date:
Presenting our pre-print paper on VyZX in Tool session at Quantum Physics and Logic 2022, Oxford, United Kingdom. You can find the recording on YouTube.
Date:
Presenting our pre-print paper on VyZX in Tool session at Quantum Physics and Logic 2022, Oxford, United Kingdom. You can find the recording on YouTube.