Hacker News new | ask | show | jobs
Making TLA+ and x86 Kiss via Z3Py (philipzucker.com)
4 points by matt_d 15 days ago