Simple proofs with Z3Py (via fanf) — discussion

#formalmethods