HN Trends Tracker

backend ok

Repost history

Canonical URL: https://lesswrong.com/posts/zHhGa3iQBQcdSifFL/a-critical-look-at-lean4-1

Current story

#
A Critical Look at Lean4(lesswrong.com)
HN #50,052,0832026-10-12 06:24 UTC
2 pointsby amanverasia2 hours ago0 comments

#
A Critical Look at Lean4(lesswrong.com)
HN #50,025,5962026-10-09 19:34 UTC
3 pointsby mathgenius2 days ago0 comments
#
A Critical Look at Lean4(lesswrong.com)
HN #50,046,7272026-10-11 19:11 UTC
2 pointsby demibabs13 hours ago0 comments