Agent Skills: lean4-music-topos
Formal verification of music topos theorems - spectral gaps, CRDT correctness, color harmony, preference learning
UncategorizedID: plurigrid/asi/lean4-music-topos
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for lean4-music-topos.
Loading file tree…
Select a file to preview its contents.