Show HN: Choreo – an animation DSL that verifies its own rendered output

**Project Summary** Choreo is an open-source animation DSL (Domain-Specific Language) that verifies its own rendered output. This project enables developers to