Például, hogy a szerző bizonyítsa be matematikai precizitással, hogy ha a fordító és a runtime a nyelv specifikáció szerinti szemantikáját maradéktalanul betartja, akkor a programja biztosan nem címez félre és nem leakel
Rendben, hol van ez a matematikai bizonyítás a Rust esetén? Várom a dolgozatodat!