Verifying smart contracts in Libra’s Move language

synthetic-minds.com

21 pointssaurabh20n5 comments

Very nice! Is the synthesis post ready?

Yes. We did all the work together. Was going to talk about that one later, but since you asked:

Cool! I do not have much experience in this area but this certainly seems like interesting work. I wish you good luck!

Would love to hear back from you guys, richardheartauthor at gmail, emailed you in oct '18, and jun '19, and now.

Thanks for the ping. Looking forward to running your contracts through our system.