A Critical Look at Lean4

2 points | by demibabs 11 hours ago