How the Lean language brings math to coding and coding to math (2024)amazon.science2 points·danabramov··0 commentsOpen articleSaveView on HN