3 ms·

For verified Rust there is also https://github.com/creusot-rs/creusot https://github.com/creusot-rs/creusot

• junon 2y ago
  Cool, thanks! Will have to look into this