A Critical Look at Lean4

(lesswrong.com)

4 points | by amanverasia 8 hours ago ago

No comments yet.