Coming soon

This note is part of the notebook and is planned, but has not been written yet.

Planned coverage: The shortest- and closest-vector problems, their approximation and decision variants, and bounded-distance decoding.