A Critical Look at Lean4

1 points | by paulpauper 10 hours ago