Add Christoph as an author of the Coq formalization