← Registry
coding
CDP-1Bounding 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