Re:Verifying smart contracts in Libra’s Move language
by compilers on Thursday September 12, 2019 @12:58PM
(#20953738)
Cool! I do not have much experience in this area but this certainly seems like interesting work. I wish you good luck!
[ Parent
| on HN ]
There are no comments on this comment yet.