The top documents tagged [proof formats theoremif]