View Full Version : Surprised no-one has mentioned how the Chambers-for-Coq experiment has already started successfully.