amsminn/vericontext

Deterministic, hash-based verification for docs that refere…