Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]github.com/runtimeverification1 pointfirloop5 years ago