A Critical Look at Lean4

5 pointsposted 9 hours ago
by amanverasia
(lesswrong.com)

No comments yet