Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 [video]youtube.com1 point·surprisetalk··0 commentsOpen articleSaveView on HN