Comment Comment by baruchel Yes, but don't forget his formal work also (Hoare logic). parent baruchel 8 months ago
