Z3 Theorem Prover Interactive Tutorial

Nice submission, but looks like a dupe of https://news.ycombinator.com/item?id=12373311.