ASTRA on Valency Bloghttps://blog.valency.io/tags/astra/Recent content in ASTRA on Valency BlogHugoen-usThu, 12 Nov 2026 21:41:54 +0100Show your work: attested code, data, proofs, and workflows on the Valency Hubhttps://blog.valency.io/posts/publications-now-connect-with-proofs-and-workflows/Sat, 07 Nov 2026 00:00:00 +0000https://blog.valency.io/posts/publications-now-connect-with-proofs-and-workflows/Valency Hub now lets authors attach code, data, formal proofs (Lean 4 or Bend 2), and ASTRA agentic workflows to a publication. Each is pulled, hashed, and timestamped at submission, and unreleased proofs can be committed to by hash alone.