Repository navigation

feat(stdlib): SHA-256 as a standard-library member (SL-02, stage 1 of #126) - #172

Draft

humuhumu33 wants to merge 7 commits into

mainfrom

claude/issue-126-sha256

Draft

feat(stdlib): SHA-256 as a standard-library member (SL-02, stage 1 of #126)#172
humuhumu33 wants to merge 7 commits into
mainfrom
claude/issue-126-sha256

Commits on Oct 16, 2026
- feat(stdlib): SHA-256 in LexLean (stage 1 of #126), source and case
  
  humuhumu33
  and
  claude
  committed
  41e2a5b
- Merge origin/main into claude/issue-126-sha256
  
  humuhumu33
  and
  claude
  committed
  784fb62
- feat(stdlib): balanced lookups keep SHA-256 inside the package nesting bound (#126)
  
  humuhumu33
  and
  claude
  committed
  e09f17c
- fix(stdlib): SHA-256 verifies under Lean with its certificates (#126)
  
  humuhumu33
  and
  claude
  committed
  218536b
Commits on Oct 17, 2026
- Merge main 8765feea into claude/issue-126-sha256
  
  humuhumu33
  and
  claude
  committed
  1f67fc9
- chore(stdlib): regenerate the stdlib records on main 8765feea (#126)
  
  humuhumu33
  and
  claude
  committed
  3401fda
- docs(verification): the planted bit of SL-02 (#126)
  
  humuhumu33
  and
  claude
  committed
  1de4151