Claire Wang
where else to find them
no profile links on file
what they talk about
where they keep going back
- FARM2 editions2025–2026
on a stage with
- Isidore Mohronce
- Leni Anivaonce
- Roger Burtonpatelonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Composition: Building Community with Arts, Math, and Code (Experience Report) | FARM 2026 | 2026-08-24 |
Composition runs as a free community afternoon of arts math and code with explicit accessibility practices like free events and ADA accessible venues reachable… | ||
| 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… | ||
| Rocq N'Roll | FARM 2025 | 2025-10-12 |
Rocq N’Roll parses Rocq proof tactics into MIDI in real time, using the VS Code LSP (proofView JSON RPC) to extract proof states and uses VSCode LSP proofView… | ||
| nothing matches | ||