▲ 3 pointsFormally proving a calculation with Claude and Leanjohndcook.comby ibobev·2mo ago·0 comments·view on hn ↗