Valency Hub
alphaFeedback

WorksMathematics

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

Hannah Fechtner

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

License
CC BY 4.0
Status
Published

Machine contribution statement

This work lists 3 machine contributors.

Machine contributors are recorded on the work, not on a single version. Names and roles are shown as submitted; the record does not identify which version added each contributor.

Declared contributors

  • GitHub CopilotAI contributor
    RolesSoftware
    Verificationself-declared at submission
  • Claude Opus 5.5AI contributor
    RolesInvestigationSoftware
    Verificationself-declared at submission
  • ChatGPT 5AI contributor
    RolesWriting — review & editing
    Verificationself-declared at submission

Roles follow the NISO CRediT taxonomy ↗.