kani: add a section in the readme #353
Description
add something in README.md like we do for ## Fuzzing to explain a bit what we do for proof of conformance and how to run kani.
{{ message }}
add something in README.md like we do for ## Fuzzing to explain a bit what we do for proof of conformance and how to run kani.