The Tree Borrows paper is finally published
(www.ralfj.de)
from CodiUnicorn@programming.dev to rust@programming.dev on 10 Jul 2025 07:22
https://programming.dev/post/33664301
from CodiUnicorn@programming.dev to rust@programming.dev on 10 Jul 2025 07:22
https://programming.dev/post/33664301
threaded - newest
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.