Re:Verifying smart contracts in Libra’s Move language
by RichardHeart on Thursday September 12, 2019 @10:43PM
(#20958698)
Would love to hear back from you guys, richardheartauthor at gmail, emailed you in oct '18, and jun '19, and now.
[ Parent
| on HN ]
Re:Verifying smart contracts in Libra’s Move language
by saurabh20n on Thursday September 12, 2019 @11:27PM
(#20958929)
Thanks for the ping. Looking forward to running your contracts through our system.