2 ms·

There is formal proof for some parts of garage layout system, see https://git.deuxfleurs.fr/Deuxfleurs/garage/src/branch/main/doc/optimal_layout_report/optimal_

by halfa 2y ago

There is formal proof for some parts of garage layout system, see https://git.deuxfleurs.fr/Deuxfleurs/garage/src/branch/main/doc/optimal_layout_report/optimal_layout.pdf https://git.deuxfleurs.fr/Deuxfleurs/garage/src/branch/main/...