A quantum circuit language and formal verification tool
AI-enriched summary coming soon — this is the raw description from GitHub.
Use cases will appear here once this project has been reviewed.