Skip to content

Pierre@706-verify-ticket-amount

pierrevial requested to merge Pierre@706-Ticket-amount into master
  • Also have to tinker with Script_int.v:
    • provide new proofs
    • update structure
  • Propagate the name and structure changes in the whole project
  • Updating the axioms about catching exceptions

Merge request reports