Hacker Newsnew | past | comments | ask | show | jobs | submit | halfa's commentslogin

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


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: