Smart contracts and migration scripts for the MGN-pool for trading at the dutch-Exchange - View it on GitHub