The top documents tagged [set of proof techniques]