Hacker News6d ago1 min read

Coq theorem prover is now called Rocq

Discussed on Hacker News with 5 points and 0 comments.

Get the 10 best reads every Sunday

Curated by AI, voted by readers. Free forever.

Loading comments…

r/worldnews25d ago

APT Iran hackers steal over 375TB of data from...

Shared on r/worldnews with 5050 upvotes.

5050

r/worldnews25d ago

Shared on r/worldnews with 3373 upvotes.

3373

Hacker News6d ago

Discussed on Hacker News with 1913 points and 1392 comments.

1913

Liked this? Start your own feed.