No.13571946 ViewReplyOriginalReport
Does /sci/ like coq?