Help point me to the paper where I can dive deeper into swapping tokens formula #51
-
|
I have a hard time finding it in RuntimeVerification ! :P |
Beta Was this translation helpful? Give feedback.
Answered by
TilakMaddy
Dec 26, 2023
Replies: 2 comments
-
|
|
Beta Was this translation helpful? Give feedback.
0 replies
-
|
https://github.com/runtimeverification/verified-smart-contracts/blob/master/uniswap/x-y-k.pdf |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
TilakMaddy
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
https://github.com/runtimeverification/verified-smart-contracts/blob/master/uniswap/x-y-k.pdf