r/leantheoremprover