home/categories/lab-tools/plurigrid-asi-skills-lean4-music-topos-skill-md
lab-toolsresearch

lean4-music-topos

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

plurigrid
maintainer
plurigrid
更新日 2/16/2026
スター
16
フォーク
5
quick start

Installation and usage

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

インストール
$ install --globalskills.sh
使い方

インストール後、ターミナルで以下のコマンドを実行してこのスキルを使用できます:

skills use lean4-music-topos