A colleague asked me if there were any formal program verification (or derivation) books which are python based. Sometimes known as 'Hoare/Dijkstra logic'
I would be pleasantly surprised if there are! Still... In case anyone knows of any -- https://mail.python.org/mailman/listinfo/python-list
