There is a newer version of the record available.

Published October 24, 2024 | Version v1
Software Open

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs

Authors/Creators

Files

README.pdf

Files (2.5 GB)

Name Size Download all
md5:104eb593150b8748475d1e7b9c63a71b
1.1 kB Download
md5:900b8ba90367bc6b8ca1ccf9303284cb
546.1 kB Preview Download
md5:d798c37ad6f34906eff1c2b781e939a5
2.5 GB Download