You are viewing a single comment's thread from:
RE: Formal Verification of Smart Contracts and Wren
no competencies here, whatsover, but it's nice to get exposed to technical language and issue, anyhow. I might remember a term or two in my next tech read.