Adhesive category theory for graph rewriting in Rocq. - Samuel Arsac; Russ Harmer; Damien Pous (CoRR, 2025)