HN Trends Tracker

backend ok

Repost history

Canonical URL: https://joomy.korkutblech.com/posts/2026-07-28-why-rocq-is-better.html

Current story

#
Why Rocq is better than Lean for program verification(joomy.korkutblech.com)
HN #49,104,1242026-07-29 22:51 UTC
7 pointsby birdculture18 days ago0 comments

#
Why Rocq is better than Lean for program verification(joomy.korkutblech.com)
HN #49,090,0062026-07-28 21:16 UTC
5 pointsby joomy19 days ago1 comments