Lean repository linked
A quadratic form generalization of rational dinv
arXiv:2604.13238 · arXiv
Lean formalisations (1)
AxiomMath/quadratic-dinv at 0cf4aefe1acc
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.