skills.homes logoskills.homescapability registry
home/categories/lab-tools/plurigrid-asi-skills-lean4-music-topos-skill-md
cd ..
lab-toolsresearch

lean4-music-topos

Formal verification of music topos theorems - spectral gaps, CRDT correctness, color harmony, preference learning

View Sourcelab-tools
plurigrid
maintainer
plurigrid
Updated 2/16/2026
Stars
16
Forks
5
quick start

Installation and usage

Formal verification of music topos theorems - spectral gaps, CRDT correctness, color harmony, preference learning

Installation
$ install --globalskills.sh
Usage

Once installed, you can use this skill by running the following command in your terminal:

skills use lean4-music-topos