spb/wp34_uqo

Public

2commits
1branches
0releases
4.6 MBon disk
maindefault branch
yesterdaylast push

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