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

(youtube.com)

1 points | by surprisetalk 4 hours ago

No comments yet.