Real-world spec challenge

Open lemmy opened this issue 3 years ago • 1 comments

Handle https://github.com/tlaplus/azure-cosmos-tla/blob/master/simple-model/show521677.tla. :-)

Aug 27 '22 01:08 lemmy

Looks like this would require handling module instantiation? (i.e. addressing #14 properly)

Aug 30 '22 15:08 will62794