Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]github.com1 point·firloop··0 commentsOpen articleSaveView on HN