Did they prove for 100% memory safety or just the default 70% rust memory safety...

		rurban 4 months ago \| parent \| context \| favorite \| on: Ferron – A fast, memory-safe web server written in... Did they prove for 100% memory safety or just the default 70% rust memory safety? No, they didnt