Why Lean is faster than Rust

3 points | by hectormalot 14 hours ago

1 comments