The top documents tagged [mathematical proving]