Hacker News new | ask | show | jobs
From Trust to Verification: Lean's Impact on Mathematics (simonsfoundation.org)
2 points by digital55 23 days ago