← Registry

coding

CDP-1

Bounding what a code change can affect and what may be claimed about it — enumerating the change's reach, and scoping the correctness claim to the reach that was examined and the evidence that covered it.

$ hx learn coding
Version
0.1.0
Tag
v0.1.0
Maintainer
HeepX
License
MIT

Repository ↗