얼마전에 현지화때문에 텍스트 구조도 갈아엎었다면서?

coq붐 진짜 오는거 아니냐