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 |
|