▲ 3 pointsFormalizing a ring theorem with Lean 4 and Claudejohndcook.comby ibobev·2mo ago·0 comments·view on hn ↗