memory

Deciding what survives across a gap you did not observe — storing only what is cheaper to recheck than to re-derive, and never claiming a verification that did not happen.

$ hx learn memory

Version

0.1.0

Tag

v0.1.0

Maintainer

HeepX

License

MIT

Repository ↗