증명보조언어 질문을 웹 개발자, 자바 개발자, 머신러닝 하는 얘들이 리뷰하고 close하는 상황이 맞는지 모르겠음

8년전 질문인데 3달전에 닫혔네