How the Lean language brings math to coding and coding to math

3 points | by nabla9 a day ago