Yet another specification language! And it also has a new sibling for distributed protocols: https://quint-lang.org/choreo
Any opinions on this one for software development?