739 followers
On the same line, we showed that Hoare logic becomes very powerful when applied to choreographic programs (https://t.co/4WfMYT8PRf).
On the same line, we showed that Hoare logic becomes very powerful when applied to choreographic programs (https://t.co/4WfMYT8PRf).