3 ms·
Isn’t the value in being able to verify the design before implementing? It would be more ideal surely to prove correctness of the deployed code, but I still fin
by digilypse 10d ago
Isn’t the value in being able to verify the design before implementing? It would be more ideal surely to prove correctness of the deployed code, but I still find it very useful.
- jgalt212 10d ago> Isn’t the value in being able to verify the design before implementing? Fair enough, but to be truly safe you really need the whole pipeline connected. model -> validation -> emitted code.