SPB Git

spb/wp34_uqo

Public
History of hypotheses/H18-generic-sat-encodings-find-step-reduced-collisio.md Clear filter
page 1
  1. Sun, Nov 1, 2026 2

    1. Simon-Pierre Boucher · 1 file +9 −4
    2. WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft manuscript
      …
      Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
      Simon-Pierre Boucher · 1 file +33
Menu

Theme