zhenlei's internship report
This is a report and presentation about my internship in Nomadic-labs. It contains a description of my work on:
- the modification of Multisig
- the functor to merge two proved smart contracts
- the functor that adds an action "spend token to a recipient" to a smart contracts