No.10859679 ViewReplyOriginalReport
Any recent progress in verification of his proof? How is IUTeich doing in general?