안녕하세요 현직 학생임니다


이번학기에 수업에서 프로젝트를 하나 만들어야 하는데...


원래는 딥러닝 관련해서 하려고 햇는데


최근에 수학에 관심이 생겨서 해석학을 보고잇음


그런데 이게 혼자서 배우니까 (솔루션도없고) 내 증명이 맞는지 틀린지 알수가 없어서 그런데


coq 할줄알면 내 증명을 검증할수 잇는거임?


검증할 수 잇으면 coq용 gui 프론트엔드 같은거 하나 만들어보고싶음