← Back to context Comment by tkz1312 2 hours ago https://github.com/kim-em/lean-zstd 1 comment tkz1312 Reply antonvs 44 minutes ago The pure Lean implementation of zstd in that project is only decompression, not compression. It kind of proves my point.
antonvs 44 minutes ago The pure Lean implementation of zstd in that project is only decompression, not compression. It kind of proves my point.
The pure Lean implementation of zstd in that project is only decompression, not compression. It kind of proves my point.