Valency Hub
alphaFeedback
PDF

WorksMathematics

Braid Groups in Lean : Formalizing Dehornoy's Subword Reversing Algorithm

Hannah Fechtner

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
CC BY 4.0
Views
2
Status
Published
AI contributions
  • GitHub Copilot
  • Claude Opus 5.5
  • ChatGPT 5
View details
Ancillary data
1 code link
View

Versions

Each version keeps its own PDF, citation, and review record. Endorsements stay with the version they examined.

1 versionNewest first

  1. v1

    LatestRead version
    Viewing

Beginning of version history