wrhn
Comment

Comment by laichzeit0

> Coq (renamed Rocq last year)

This is lamentable.

parent laichzeit0 22 days ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton