Making TLA+ and x86 Kiss via Z3Py

(philipzucker.com)

4 points | by matt_d 12 hours ago ago