Coq

TODO: Write the wiki article for Coq.