Verification Challenge

October 25 2021 - 00:00UTC

Unfortunately this meeting was not record (my bad).

We discussed the specifications for a few simple functions in Prusti and Creusot. There were quite a few things to say on how we handle borrows and the differences between the two tools.

A summary will be posted soon.

The slides are here