Why Lean is faster than Rust

2 points | by hectormalot an hour ago