Hacker Newsnew | past | comments | ask | show | jobs | submit | raphaelmo's favoriteslogin
1.
Change of Name: Coq –> The Rocq Prover (github.com/coq)
35 points by luu on Dec 27, 2023 | 48 comments

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

Search: