A Critical Look at Lean4

1 points | by demibabs an hour ago