Exploring the formal verification built into the Solidity compileraon.com9 points·e79··0 commentsOpen articleSaveView on HN