The following pages link to (Q5015189):
Displaying 10 items.
- An automated deductive verification framework for circuit-building quantum programs (Q2233453) (← links)
- A modeling and verification framework for optical quantum circuits (Q2418045) (← links)
- Certified quantum computation in Isabelle/HOL (Q2666954) (← links)
- Formal verification of complex coherence protocols using symbolic state models (Q3158515) (← links)
- Proof Verification Technology and Elementary Physics (Q3296311) (← links)
- (Q3384929) (← links)
- A formal proof of the expressiveness of deep learning (Q5915784) (← links)
- A formal proof of the expressiveness of deep learning (Q5919583) (← links)
- A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL (Q6190081) (← links)
- Describing and animating quantum protocols (Q6612788) (← links)