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

Review conversation

Reviews are not available for this work yet.