For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
2022 Coq Community Survey Results (coq.discourse.group)
2 points by siraben on July 13, 2022 | past
Renaming Coq (coq.discourse.group)
17 points by sidechaining on May 8, 2021 | past | 24 comments
Coq is a Lean Typechecker (coq.discourse.group)
91 points by palmskog on Jan 28, 2020 | past | 31 comments

Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You