Fast DEFLATE compression in Lean (via typesanitizer) — discussion
#formalmethods #performance #vibecoding
