Foq is hilarious, especially given that just today Coq released its website with its new name (Rocq)