The top documents tagged [why3 copy25]