Show HN: Choreo – an animation DSL that verifies its own rendered output(github.com)2 points by smperng 3 days ago | 0 comments