Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]
github.com/runtimeverification
1 point
firloop
4 years ago
No comment yet
Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf] | Heykuki News