inQWIRE/VyZX

Issues

• Port old rules

  #34 opened a year ago by adrianleh
  1

• Fill In Missing Rules

  #33 opened a year ago by caldwellb
  1

• Circuit Ingestion

  #32 opened 2 years ago by caldwellb
  1

• Refactor 3 CNOT is swap proof to diagramatic

  #35 opened 2 years ago by adrianleh
  0

• Prove soundness of proportionality

  #31 opened 2 years ago by adrianleh
  0

• Spider Induction

  #21 opened 2 years ago by caldwellb
  3

• Refactor Rules.v

  #25 opened 2 years ago by adrianleh
  1

• Turnaround

  #22 opened 2 years ago by caldwellb
  2

• Ltac that creates color swapped proof

  #27 opened 2 years ago by adrianleh
  2

• Spider Fusion

  #24 opened 2 years ago by caldwellb
  1

• Stack Associativity Broken

  #29 opened 2 years ago by caldwellb
  1

• 0 Rotations to Wires and Optimization Passes

  #28 opened 2 years ago by caldwellb
  2

• Ltac for well-formedness of ZX diagrams

  #23 opened 2 years ago by adrianleh
  1

• Ltac to automatically convert diagram to fenceposted form

  #26 opened 2 years ago by adrianleh
  0

• Convert SQIR circuits to ZX diagrams

  #19 opened 2 years ago by adrianleh
  0

• Relational properties

  #20 opened 2 years ago by adrianleh
  1

• Separating Statements of Lemmas and the Rewrite Rules they represent

  #15 opened 2 years ago by caldwellb
  1

• LTAC or Rewrite Databases

  #17 opened 2 years ago by caldwellb
  1

• Reduce solve_matrix count

  #18 opened 2 years ago by caldwellb
  0

• Spider fusion and splitting

  #10 opened 2 years ago by adrianleh
  0

• Self loop removal

  #12 opened 2 years ago by adrianleh
  0

• Prove that any complex number can be constructed out of scalars

  #5 opened 2 years ago by adrianleh
  1

• Add notion of conjugates, transposes, and adjoints

  #6 opened 2 years ago by adrianleh
  0

• Commute spiders through c{a,u}p

  #11 opened 3 years ago by adrianleh
  0

• Old proofs need to be reworked to use proportionality

  #16 opened 3 years ago by caldwellb
  3

• Dual Proofs

  #13 opened 3 years ago by caldwellb
  1

• Proportionality is a Parametric Morphism

  #14 opened 3 years ago by caldwellb
  0

• Inverse spiders

  #2 opened 3 years ago by adrianleh
  0

• Add scalar constructions

  #4 opened 3 years ago by adrianleh
  1

• Distributivity of Stack and Compose

  #3 opened 3 years ago by caldwellb
  2

• Add notion of ZX proprtionality

  #9 opened 3 years ago by adrianleh
  1

• Add eigenstates

  #8 opened 3 years ago by adrianleh
  1

• Bialgebra and Hopf rule

  #7 opened 3 years ago by adrianleh
  1

• Swap gate

  #1 opened 3 years ago by caldwellb
  0