A Critical Look at Lean4

3 points | by mathgenius an hour ago