Good question. Maybe there's already one on chainbb, using certain tags. Maybe the smt tag. We can start in this post if you want to lol :). There are dozens of other SMT-related posts as well!
You are viewing a single comment's thread from:
Good question. Maybe there's already one on chainbb, using certain tags. Maybe the smt tag. We can start in this post if you want to lol :). There are dozens of other SMT-related posts as well!
Best to discuss in a topic oriented forum or a channel on discord, so info is shared.
That's right. It'd be better for the more "official" channels to start this so we can have a good discussion going in a concentrated forum.