algebraic-nmt.md ฯ 0.0% 0 words ยท 0 min Graph Mentions Graph Mentions research/algebraic state commitments research/vec formalization soft3/bbg/roadmap/verifiable-query soft3/foculus/specs/vec soft3/hemera/roadmap