Open Issues Need Help
View All on GitHub Add one published quantum claim as a benchmark 26 days ago
help wanted good first issue
A shared benchmark suite for checking quantum correctness claims.
Python
#benchmark-suite#formal-methods#lean4#quantum-circuits#quantum-verification
Audit the next QSpecBench corpus release about 2 months ago
help wanted
A shared benchmark suite for checking quantum correctness claims.
Python
#benchmark-suite#formal-methods#lean4#quantum-circuits#quantum-verification
Reproduce one reference claim independently about 2 months ago
help wanted
A shared benchmark suite for checking quantum correctness claims.
Python
#benchmark-suite#formal-methods#lean4#quantum-circuits#quantum-verification