They are going by Rocq today
I understand and respect the renaming, Coq was a much cooler name though.
The linked PDF was created on 8/5/13.
alt Hacker News
I understand and respect the renaming, Coq was a much cooler name though.