Skip to content

refactor: use create_justification in the quint specification as in the informal spec #1416

refactor: use create_justification in the quint specification as in the informal spec

refactor: use create_justification in the quint specification as in the informal spec #1416