Pinned Loading

1. cvp cvp Public

   Lean 4 formalization of NP-hardness of integer-target GapCVP with approximation factor N^c for every fixed real constant 0 < c < 1/2

   Lean 6

2. 17squares 17squares Public

   TeX 1