solutions for Poly
Most solutions for MoreCoq