A Critical Look at Lean4

(lesswrong.com)

2 points | by demibabs 11 hours ago ago