Update Listing: Coq Illustration

To update this listing, please verify that you're a human.