Use Coq in Your Browser: The Js Coq Theorem Prover Online
Sorry to be the 15 year old,  but could they have not chosen a better name?Preemptively yes ive read the history of the name,  but i doubt they didn't know the homophone.The puns write themselves: More. Coq in Your Browser