A Critical Look at Lean4

(lesswrong.com)

1 points | by paulpauper 11 hours ago

No comments yet.