5 ms·
One of the main contributors gave an excellent talk [0] on Verus at the Rust meetup in Zürich. I was really impressed how clean this "ghost" code fits into prog
by dist1ll 2y ago
One of the main contributors gave an excellent talk [0] on Verus at the Rust meetup in Zürich. I was really impressed how clean this "ghost" code fits into programs (reminded me a bit of Ada).
[0] https://www.youtube.com/watch?v=ZZTk-zS4ZCY https://www.youtube.com/watch?v=ZZTk-zS4ZCY