SPB Git

spb/wp34_uqo

Public
History
NameLast commitUpdated
data WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
docs WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
experiments WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
figures WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
formal WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
hypotheses WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
literature WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
paper WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
research_log WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
results WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
scripts WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
src WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
tests WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
theory WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
.gitignore WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
CLAUDE.md WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...
README.md WP34 v1.0: SHA-256 grids, Lean layer, complete manuscript (74 p.), hypothesis...
requirements.txt WP34: foundations, literature, ECDLP/signature studies, Lean formal layer, draft...

Clone wp34_uqo

Anonymous clone and fetch. Pushing requires the owner's personal access token.

ZIP tar.gz snapshot of c732f7e320257301eb619a8227b914374a41aac4
Files · c732f7e320257301eb619a8227b914374a41aac4
Menu

Theme