quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Explore corner cases of flattening

Open bugarela opened this issue 1 year ago • 0 comments 

### Tasks
- [ ] [Instancing a module with instances in it](https://github.com/informalsystems/quint/pull/1118/files#r1304797092)

bugarela avatar Sep 05 '23 17:09 bugarela