틀:도메인 특화 언어 증명보조기 Night in the Woods/등장인물 := 범주론 Linguist Yung Lean 프로그래밍 글꼴 인공지능/성과 틀:프로그래밍 언어 자명함 수학자/목록 확장자/목록