/qrhl-local-variables-isabelle

Isabelle/HOL development for the paper "Local Variables and Quantum Relational Hoare Logic"

Primary LanguageIsabelleMIT LicenseMIT

Watchers