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

2 points - today at 6:04 PM