Formal model

Workflow runs for Formal model

• feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo…

  completed successfully:
  Formal model#3:Pull request#1027synchronizebyColoCarletti
  formal/clean-model

  Oct 28, 20262m 41s
  More actions for workflow run 3

• feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo…

  completed successfully:
  Formal model#2:Pull request#1027synchronizebyColoCarletti
  formal/clean-model

  Oct 28, 20265m 36s
  More actions for workflow run 2

• feat(formal): Clean/Lean model of BITWISE, LT, EQ and SHIFT with proo…

  completed successfully:
  Formal model#1:Pull request#1027synchronizebyColoCarletti
  formal/clean-model

  Oct 28, 20265m 50s
  More actions for workflow run 1