fj, 26 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/
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/