You are viewing a single comment's thread from:RE: Simplifying the SMT ProtocolView the full contextView the direct parentcoininstant (69)in #smt • 5 years ago Yup, and never repeat any code! If possible! lol