Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]github.com·1 pts·firloop·0