3 ms·
I am eagerly following https://github.com/flux-rs/flux https://github.com/flux-rs/flux https://flux-rs.github.io/flux/ https://flux-rs.github.io/flux/ They hav
by nextaccountic 5mo ago
I am eagerly following https://github.com/flux-rs/flux https://github.com/flux-rs/flux https://flux-rs.github.io/flux/ https://flux-rs.github.io/flux/
They have a development pace very quick and can verify real world Rust code. There's a huge graveyard of Rust verification tools, but I hope this one gets broader usage