quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Provide a standard library

Open shonfeder opened this issue 1 year ago • 0 comments

Required for #388

This will really help with knowledge sharing of common idioms and help us help users to opt for best practices when describing common computations.

shonfeder avatar Dec 19 '23 12:12 shonfeder