Lean repository linked
Aganagic's invariant is Khovanov homology
arXiv:2505.00327 · arXiv
Lean formalisations (1)
marco-david/ainfinity-lean at 4af35233f1a1
Linked by the repository’s formalization.yaml.
Project review: peer-reviewed
Audit: awaiting publication.