Hacker News new | ask | show | jobs
by markusde 538 days ago
Foq is hilarious, especially given that just today Coq released its website with its new name (Rocq)