Hacker News new | ask | show | jobs
by DonaldPShimoda 1202 days ago
Just a small FYI, but the language's name (for now) is Coq, not COQ.