A Critical Look at Lean4

2 points | by amanverasia an hour ago