Verifying smart contracts in Libra’s Move language

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.

Verifying smart contracts in Libra’s Move language (synthetic-minds.com)