Prismriver: Lean 4를 이용한 음악 이론의 형식화 및 알고리즘 작곡 [영상]

Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 [video]