add delsarte bound proof
Marco Andronaco andronacomarco@gmail.com
Wed, 15 Feb 2023 23:30:09 +0100
add lemmas and examples
Marco Andronaco andronacomarco@gmail.com
Wed, 15 Feb 2023 22:44:02 +0100
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