Send meaning for "Coq"

(optional - herewith you declare that you agree to be displayed as the author)