Make it verifiable?
veorq opened this issue · 1 comments
veorq commented
With Verifiable C https://vst.cs.princeton.edu/veric/
veorq commented
little RoI
veorq opened this issue · 1 comments
With Verifiable C https://vst.cs.princeton.edu/veric/
little RoI