vera-alpha / mathlib_store.json

Commit History

  1. vera-A-20260815: separated sovereigns + manifest

    Verified signature
    ca274aa