Skip to content

Bump Apalache to 0.47.2 and update UNIT representation #3690

Bump Apalache to 0.47.2 and update UNIT representation

Bump Apalache to 0.47.2 and update UNIT representation #3690