6 ms·YAY!!! are we gonna have more formal verification???? woohoo!! oh its about memory safety.by ArtixFox 2y agoYAY!!! are we gonna have more formal verification???? woohoo!! oh its about memory safety.