2 ms·Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]1 points by firloop 5y ago