A Critical Look at Lean4

3 points | by amanverasia 8 hours ago