Rust-Djinn: The Fastest (and Safest) Gzip Decompressor Is 300 Lines of Spec
henniger.dev
henniger.dev
>No human programmer had to read or edit
I don't know that most people would consider this a positive?
How can the proofs themselves be verified if nobody looked at them?