A Critical Look at Lean4

(lesswrong.com)

3 points | by mathgenius 12 hours ago

No comments yet.