Viewing profile — halfa
halfa
HN member- Joined
- Tue, Feb 08, 2022, 4:20 PM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About halfa
No profile information was provided.
Recent public activity
-
comment
Comment #41020013
There is formal proof for some parts of garage layout system, see https://git.deuxfleurs.fr/Deuxfleurs/garage/src/branch/main/...