From Trust to Verification: Lean's Impact on Mathematicssimonsfoundation.org2 points·digital55··0 commentsOpen articleSaveView on HN