Yuxiang Peng

Latest

• A formally certified end-to-end implementation of Shor’s factorization algorithm