Leni Aniva
where else to find them
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Claire Wangonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Prismriver: Formalization of Music Theory and Algorithmic Composition in Lean 4 | FARM 2026 | 2026-08-24 |
Prismriver is a Lean 4 library that formalizes pitches, intervals and scales as group actions, proves dihedral-action equivalences (triads on Z12 vs a… | ||
| nothing matches | ||