>Some people are doing this (esp Galois Inc). I've heard of Galois Inc. Isn't that where Don Stewart one of the RWH authors worked for a while? Looking a the

>Some people are doing this (esp Galois Inc). I've heard of Galois Inc. Isn't that where Don Stewart one of the RWH authors worked for a while? Looking a the Galois team on their webpage he doesn't seem to be there now. There seems to be far more opportunity in crypto related stuff than anything CAD right now. It's a matter of opinion whether any particular crypto currency is a bubble but in the long term, blockchain technology isn't going to just go away and that surely must disrupt markets for years to come. So, even though I know a lot more about CAD, I've actually just started working on my own AGPL3 crypto toolkit in a private GitHub repository in the hope that I can build a consultancy business around it and maybe do the dual-licensing thing.