Hackernews
new
show
ask
jobs
A Critical Look at Lean4
1 points
posted 11 hours ago
by paulpauper
(lesswrong.com)
No comments yet