A Critical Look at Lean4

(lesswrong.com)

2 points | by demibabs 12 hours ago ago

No comments yet.