What is effectively a changelog of features for their new version is probably not the best place to start. If you'd like to know more then this [0] is a brief

What is effectively a changelog of features for their new version is probably not the best place to start. If you'd like to know more then this [0] is a brief summary of Uniswap and this paper [1] is a good introduction to the formalism of the `x * y = k` market making model used by Uniswap. [0]: https://github.com/runtimeverification/verified-smart-contracts/blob/uniswap/uniswap/x-y-k.pdf https://github.com/runtimeverification/verified-smart-contra... [q]: https://github.com/runtimeverification/verified-smart-contracts/blob/uniswap/uniswap/x-y-k.pdf https://github.com/runtimeverification/verified-smart-contra...