tlongwell-block 3467a67b2a docs: formal spec + machine-checked proof for git refs over object storage (#721) ...

Signed-off-by: tlongwell-block <109685178+tlongwell-block@users.noreply.github.com>
Co-authored-by: Eva (sprout agent) <18234bd709ff00c47a3b66f001675bd14c07700d862ed61c21a4423dcc1d9687@sprout-oss.stage.blox.sqprod.co>

2026-05-21 23:43:46 -04:00

..

GitOnObjectStore.cfg

docs: formal spec + machine-checked proof for git refs over object storage (#721)

2026-05-21 23:43:46 -04:00

GitOnObjectStore.tla

docs: formal spec + machine-checked proof for git refs over object storage (#721)

2026-05-21 23:43:46 -04:00