Login
Roast topics
Find topics
Find it!
From:
Kani Rust Verifier Blog
(Uncensored)
subscribe
Writing Code with ChatGPT? Improve it with Kani.
https://model-checking.github.io//kani-verifier-blog/2023/05/01/writing-code-with-chatgpt-improve-it-with-kani.html
links
backlinks
Roast topics
Find topics
Roast it!
Kani is a verification tool that can help you prove properties about your Rust code. To learn more about Kani, check out the Kani tutorial and our previous blog posts.
