Lean 4

Latest news

1. 24 Oct
   Lean 4 DEFLATE beats Rust miniz_oxide but not C libdeflate

   A Lean 4 DEFLATE implementation (lean-zip) outperforms Rust's miniz_oxide in throughput and output size, according to a report discussed on Hacker News. The Lean implementation still trails libdeflate, a highly tuned C library, and Roc is positioning itself as a high-performance functional language with an imminent 0.1.0 release.

   Developers · 1 source

Articles

No articles about Lean 4 yet.