added pad2, embed + lemmas

inQWIRE / QuantumLib

Coq library for reasoning about quantum programs

Other

32 stars 10 forks source link

added pad2, embed + lemmas #27

Closed bhaktishh closed 1 year ago

bhaktishh commented 1 year ago

Pad2: to pad a 2x2 matrix embed : embeds a list of 2x2 matrices with an associated position into a matrix of specified dimension additional lemmas and tactics for more complex proofs.