QWIRE icon indicating copy to clipboard operation
QWIRE copied to clipboard

Published 20 hours ago • verified publisher icon inQWIRE
→

Metadata

A quantum circuit language and formal verification tool

Results 1 QWIRE issues
Sort by recently updated
recently updated
newest added

Fix a bug in QASM.v

When I run `make qasm` with Coq 8.13.1, the `id : R -> R` imported by `Require Import Reals.` overrides `Definition id := string.` and causes a compile error. So...

thwfhk avatar thwfhk

← Metadata

73
Stars
18
Forks
Watchers

Owner

verified publisher icon inQWIRE

Metadata

A quantum circuit language and formal verification tool

Back