[pook]

Even worse, you'll link them to sites with good arguments for exactly where it is useful... named "10 places where coq comes in handy" and "You and coq: a good fit" or "Do it faster with coq"