Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Leni Aniva
conf.researchr.org general profile
ICFP 2026 profile
Not registered as user
Name:
Leni Aniva
Affiliation:
Stanford University
Contributions
2026
FARM
Author of Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 within the FARM 2026-track
Composer of Algorithmic Composition in Prismriver within the FARM 2026-track
Share
x
Tue 20 Oct 16:13