Repository navigation

Challenge: six distances from the E2 diameter-heptagon pattern - #358

Closed

lyfar wants to merge 10 commits into

LeanPool:mainfrom

lyfar:lyfar/e2-diameter-heptagon-challenge

Closed

Challenge: six distances from the E2 diameter-heptagon pattern#358
lyfar wants to merge 10 commits into
LeanPool:mainfrom
lyfar:lyfar/e2-diameter-heptagon-challenge

Commits on Aug 26, 2026
- Challenge: six distances from the E2 diameter-heptagon pattern
  
  lyfar
  and
  claude
  committed
  fa6431d
Commits on Aug 27, 2026
- Merge remote-tracking branch 'origin/main' into pr-358
  github-actions[bot]
  committed
  c187936
Commits on Aug 28, 2026
- Merge remote-tracking branch 'origin/main' into pr-358
  github-actions[bot]
  committed
  d5b675e
- Merge remote-tracking branch 'origin/main' into pr-358
  github-actions[bot]
  committed
  d4bb9b7
Commits on Aug 29, 2026
- Merge remote-tracking branch 'origin/main' into pr-358
  github-actions[bot]
  committed
  bd55d78
Commits on Aug 30, 2026
- Merge remote-tracking branch 'origin/main' into pr-358
  github-actions[bot]
  committed
  6c7e595
Commits on Sep 1, 2026