A Critical Look at Lean4

3 pointsposted 13 hours ago
by mathgenius
(lesswrong.com)

No comments yet