# Reference

0. []()
0. [Aeneas: Rust Verification by Functional Translation](https://arxiv.org/abs/2206.07185)