Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Unsound result involving existential quantification and append sequence

Description

This result seems unsound:

ProB says:

Environment

None

Activity

Show:

Details

Assignee

Reporter

Priority

Created November 11, 2020 at 8:55 PM
Updated November 11, 2020 at 8:55 PM
Configure