Skip to content

Merge pull request #3041 from apalache-mc/gabriela/quint-to-tla-impro… #1101

Merge pull request #3041 from apalache-mc/gabriela/quint-to-tla-impro…

Merge pull request #3041 from apalache-mc/gabriela/quint-to-tla-impro… #1101