create cashproof-ts as part of the cashscript org Z3 also has typescript bindings and then we can run it with tsx (and possibly as part of the ci) we also have full ownership and not rely on an unmaintained 3rd part tool
create cashproof-ts as part of the cashscript org
Z3 also has typescript bindings and then we can run it with tsx (and possibly as part of the ci)
we also have full ownership and not rely on an unmaintained 3rd part tool