A Critical Look at Lean4

2 pointsposted 11 hours ago
by demibabs
(lesswrong.com)

No comments yet