Reposted by @lambdaclaire.bsky.social
Introducing codeberg.org/aniva/Prismr..., a #leanprover formalization of #musictheory and #music DSL with flexible support for xenharmonic systems and algorithmic composition. #lean4
codeberg.org
Prismriver
Formalization of music in Lean 4