https://github.com/kim-em/lean-zstd
The pure Lean implementation of zstd in that project is only decompression, not compression. It kind of proves my point.
alt Hacker News
The pure Lean implementation of zstd in that project is only decompression, not compression. It kind of proves my point.