Uniswap-Formal The goal of this project is to formally verify the Uniswap libraries. In particular, we focus on the libraries of Uniswap-V3.