search

rust-lang / polonius

Defines the Rust borrow checker.
Apache License 2.0
1.35k stars 73 forks source link

polonius-proof in book #185

Closed lengyijun closed 2 years ago

lqd commented 2 years ago

Great work !