Skip to content

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

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

Annotations

1 error and 1 warning

typos

failed Nov 27, 2024 in 4s