Beautiful Coq

What it's used for and who should use it