Skip to content

Navigation Menu

Sign in
Sign up

Refresh all repository README documentation for v8.2.0 - #10

Open
DavidFox998 wants to merge 1 commit into
main from
docs/readme-v8.2
Open

Refresh all repository README documentation for v8.2.0 #10
DavidFox998 wants to merge 1 commit into
main from
docs/readme-v8.2

Conversation

@DavidFox998

@DavidFox998 DavidFox998 commented Aug 29, 2026

Copy link
Copy Markdown
Owner

Summary

  • update all seven tracked project README files with the v8.2.0 release status
  • mark v7.3.1 audit notes and the historical v7.3 Galois branch as historical
  • document the full rational Frey E[2] milestone and its remaining formal boundaries
  • move the Opera Numerorum cross-repository links to the end of the main README
  • replace the stale v7.3.1 DOI badge with a v8.2.0 release badge

Verification

  • all seven project README files contain current v8.2.0 status language
  • root README cross-repository links are confined to its final Opera Numerorum section
  • git diff --check passes

This is documentation-only and does not retag or alter the published v8.2.0 release.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

AltStyle によって変換されたページ (->オリジナル) /