From Trust to Verification: Lean's Impact on Mathematics · HackerLangs