3 ms·Z3 Theorem Prover Interactive Tutorial5 points by aduffy 10y agodang 10y agoNice submission, but looks like a dupe of https://news.ycombinator.com/item?id=12373311 https://news.ycombinator.com/item?id=12373311.