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

• Posted 1 hour ago by smperng
• 2 points