HolBA icon indicating copy to clipboard operation
HolBA copied to clipboard

Published 20 hours ago • verified publisher icon kth-step

Use composition at ARM level for the example in tutorial

Open guancio opened this issue 5 years ago • 0 comments

It would be nice to prove the example using two different approaches:

  • composing contracts in BIR
  • composing contracts in ARM

guancio avatar Oct 02 '19 15:10 guancio