add proofs
Marco Andronaco andronacomarco@gmail.com
Thu, 02 Feb 2023 14:14:53 +0100
add sphere-packing and delsarte bounds
Marco Andronaco andronacomarco@gmail.com
Wed, 25 Jan 2023 14:24:30 +0100
first commit
Marco Andronaco andronacomarco@gmail.com
Sun, 22 Jan 2023 13:58:49 +0100