1 points by typesanitizer
I chose to change the title from the actual "Why Lean is faster than Rust" be wise it felt way too clickbaity and inaccurate.