NobleBlocks
    The sphere packing problem in dimension $24$ | NobleBlocks