Video

Unknown · 0:00

Prism River is a Lean 4 library that formalizes music theory—pitches, intervals, tuning systems, and time—as algebraic structures (mainly group actions), enabling both formal proofs about music (like chord progression...

Read the full summary on tuber