The top documents tagged [checkable proof p i]