A Critical Look at Lean4

3 points | by mathgenius 12 hours ago