alokMusicNotation0.1.0

Pure functional music notation system in Lean 4 with Unicode visualization
Sort by
  1. Git dependency.
    Found on Reservoir.

    LeanSearchClient8d29bc2

    Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)