fj, 25 days ago

I've been wanting to look into formally verifying #Rust code with #Hax for a while, but wasn't sure where to start.

Thankfully Lucas Franceschino from @cryspen has now a tutorial to get started!

https://hacspec.org/blog/posts/announcement-tutorial/