#followerpower
1
From github.com
1 1
Hi all, disclaimer: I'm totally new to formal verification and creusot, so bear with me 😄 I try to verify a simple add operation on a HashMap newtype (see code below), but it seems I run into a tim...
#help #rust #proof #creusot #timeout #fedihelp #rustlang #followerpower #formalverification #idontknowwhatiamdoing
17h ago