Lean repository linked
A Survey of the Hadamard Maximal Determinant Problem
arXiv:2104.06756 · arXiv
Lean formalisations (1)
mattppal/ehlich-wojtas at 65580f5606f9
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.