Regan-Koopmans/music-man

Describing music in formal logic

This repository is not active