borrow.md « memory_management « bookmark « documentation - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/documentation/bookmark/memory_management/borrow.md

blob: cf9f4bb6cb038dd137c26b5e1b2d3ad52fae3393 (plain)

# Reference

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