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
Machine checks

No machine checks are available from the Hub API for this paper.