The top documents tagged [mathematical proof system]