Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • exec_auto_adjust_trace
  • let_variables
  • v1.4.1
  • v1.4.0
  • v1.3.0
  • v1.2.0
  • v1.1.0
  • v1.0.0
9 results

notebooks

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Remove let variables from solution outside of Event-B mode too
    dgelessus authored 
    In some cases, ProB apparently "unwraps" LET predicates as well,
not just existential quantifications.
    56a272dd
    History
    user avatar 56a272dd
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.