Formal specification of IEX (stock exchange) auction logicmedium.com2 points·ghettoimp··0 commentsOpen articleSaveView on HN