9 ms·Foq is hilarious, especially given that just today Coq released its website with its new name (Rocq)by markusde 2y agoFoq is hilarious, especially given that just today Coq released its website with its new name (Rocq)