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