# Kani Rust Verifier - RFCs

[Introduction](./intro.md)

[RFC Template](./template.md)

# Kani RFCs

- [0001-mir-linker](rfcs/0001-mir-linker.md)
- [0002-function-stubbing](rfcs/0002-function-stubbing.md)
- [0003-cover-statement](rfcs/0003-cover-statement.md)
- [0004-loop-contract-synthesis](rfcs/0004-loop-contract-synthesis.md)
- [0005-should-panic-attr](rfcs/0005-should-panic-attr.md)
- [0006-unstable-api](rfcs/0006-unstable-api.md)
- [0007-global-conditions](rfcs/0007-global-conditions.md)
- [0008-line-coverage](rfcs/0008-line-coverage.md)