한 네달쯤전에 해석학 독학하겟다던 사람임니다


Abbott 해석학 책 사서 80% 이상 풀엇슴니다


그런데 제 풀이를 전공자한테 보여줘봣더니 논리적인 오류? 까지는 아니고 약간 매끄럽지 못한 부분들을 다 잡아내더라고요


독학하면서 수학적 엄밀성을 기를 수 있는 방법은 없는 걸까요...


Coq 배워와서 제 풀이 검증이라도 해봐야 하나요...