Update Huet-Vaughn and Piqueras #53

Open

Labels

Milestone

2025.11.1: modifications

opened

on Aug 20, 2025

When latest draft is posted

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

2025.11.1: modifications

Relationships

None yet

Development

No branches or pull requests