Nikhil Swamy

Latest

• Q*: Implementing Quantum Separation Logic in F*