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?<p>Preemptively yes ive read the history of the name,  but i doubt they didn't know the homophone.<p>The puns write themselves: More. Coq in Your Browser