|
|
|
|
|
|
by gopiandcode
69 days ago
|
|
|
As quoted in the article itself, please take it up with the chief architect of the Lean FRO: > ... converted zlib (a C compression library) to Lean, passed the test suite, and then proved that the code is correct. > Not tested. Proved. For every possible input. lean-zip |
|
|