2 ms·Though SPARK gives you stronger guarantees than rust.by Avshalom 10y agoThough SPARK gives you stronger guarantees than rust.