Skip to content
PR title

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

Sign in to view logs

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 #127

The logs for this run have expired and are no longer available.