Generative music firmware for the M-VAVE FM-1, written in Lean 4 with 313 theorems about it
Lean Updated 10 days ago 1 commits
drift-coder|Mirror: mpancia/fmfm (⭐0)
10 days agoAbout
Generative music firmware for the M-VAVE FM-1, written in Lean 4 with 313 theorems about it
Readme