Add coq properties