Hacker News new | ask | show | jobs
by ModernMech 54 days ago
fyi it's Rocq now: https://en.wikipedia.org/wiki/Rocq