The Tree Borrows paper is finally published (www.ralfj.de)

submitted 3 weeks ago by CodiUnicorn@programming.dev to c/rust@programming.dev

1 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] fzz@programming.dev 2 points 2 weeks ago* (last edited 2 weeks ago)

Oh, how long we've been waiting for this! ❤️‍🔥🎉 Great paper, but why default coq was chosen? That’s totally okay (and coq is still kinda default for interactive formal proving), but there is others production-ready strong modern instruments existing on Earth today. Just interesting why so.

this post was submitted on 10 Jul 2025

22 points (100.0% liked)

Rust

7202 readers

35 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Wormhole

!performance@programming.dev

Credits

The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 2 years ago

MODERATORS

snowe@programming.dev

Ategon@programming.dev

EdTheLegendary@programming.dev

kahnclusions@programming.dev

torcherist@programming.dev