The top documents tagged [rigorous proof mathematics]