3 ms·How the Lean language brings math to coding and coding to math (2024)2 points by danabramov 1y ago