Z3 Theorem Prover Interactive Tutorial | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		[dupe] Z3 Theorem Prover Interactive Tutorial (rise4fun.com)
		5 points by aduffy on March 14, 2017 \| hide \| past \| favorite \| 1 comment

dang on March 14, 2017 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact