well, that would be tooling though. you wouldn’t say that x86 is missing formal methods therefor you shouldn’t use it right... solidity, etc sure maybe... but

well, that would be tooling though. you wouldn’t say that x86 is missing formal methods therefor you shouldn’t use it right... solidity, etc sure maybe... but at that point, releasing early is probably a good thing so that you can get a whole community working on things and getting ideas and collaboration from a large group of people *edit: unless you mean like geth, or some minimal reference client should be formally proven