coequations-in-rocq